IFIP Working Group 2.2 Meeting
28 June - 1 July 1999, Udine, Italy.

Participants:

• Dines Bjorner
• Corrado Boehm
• Egon Boerger
• Philippe Darondeau
• Rocco De Nicola
• Mariangiola Dezani-Ciancaglini
• Javier Esparza
• Furio Honsell
• S. Igarashi
• Fred Kroeger
• Ugo Montanari
• J Strother Moore
• Peter D. Mosses
• Ernst-Ruediger Olderog
• Amir Pnueli
• K.V.S. Prasad
• Willem-Paul de Roever
• Bernhard Steffen
• Andrzej Tarlecki

• Michel Bidoit
• F.S. de Boer
• Gabriel Ciobanu
• Razvan Diaconescu
• Masami Hagiya
• Jifeng He
• Marta Z. Kwiatkowska
• Simone Martini
• Stephan Merz
• Francesco Parisi Presicce
• Wojciech Penczek
• Anders P. Ravn
• Francesca Rossi
• Davide Sangiorgi
• Don Sannella
• Masahiko Sato
• Emil Sekerinski
• Gheorge Stefanescu
• Emil Sekerinski
• Igor Walukiewicz