IFIP
Working Group 2.2
Meeting
28 June - 1 July 1999, Udine, Italy.
Participants:
Members (and members-emeriti):
-
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
Observers:
-
Franco Barbanera
-
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
-
Jüri Vain
WG 2.2
(darondeau@irisa.fr)