IFIP Working Group 2.2
Beijing Seminar
28 September - 4 October 1996.

Lecturers:

• E. Astesiano
• J.W. de Bakker (host)
• E. Boerger
• L. Lamport
• J. S. Moore
• P.D. Mosses
• E.-R. Olderog (chairman)
• A. Pnueli
• W.P. de Roever
• A. Tarlecki (secretary)
• Jifeng He
• M. Mukund
• P. Pandya
• Zhou Chaochen