IFIP
Working Group 2.2
Meeting
13 - 15 June, Shelter Island, USA.
Participants:
Members and retired members:
-
E. Astesiano
-
J. de Bakker
-
C. Boehm
-
E. Best
-
M. Broy
-
R. Cleaveland
-
M. Dezani-Ciancaglini
-
S. Igarashi
-
U. Montanari
-
J S. Moore
-
E. Neuhold
-
P. Panangaden
-
E.-R. Olderog
-
M. Paul
-
W.-P. de Roever
-
S. Smolka
-
A. Tarlecki
Observers:
-
Murilo Carmargo (local observer)
-
G. Holzmann
-
J. Esparza
-
T. Ida
-
K. Narayan Kumar (local observer)
-
S. Merz
-
F. Parisi-Presicce
-
D. Sangiorgi
-
M. Sato
WG 2.2
(darondeau@irisa.fr)