Tutorials and invited speakers (PODC97)

Invited speakers

• Verification Engineering: A Future Profession by Amir Pnueli (A. M. Turing award lecture)
• Fault Tolerant Multi Party Computations: Past and Present by Shafi Goldwasser

Tutorials

• Internet Support for Wireless and Mobile Networking by David B. Johnson
• Principles and Patterns of High-performance and Real-time Distributed Object Computing by Douglas C. Schmidt

---

Maintained by tushar@watson.ibm.com