List of Partcipants

C. Meadows (Naval Research Laboratory, Washington-DC, USA)
J. Goubault-Larrecq (Ecole Normale Supérieure, Cachan, France)
J. Sifakis (VERIMAG, Grenoble, France)
R. Amadio (LIF, Université de Provence, Marseille, France)
M. Sakai (University of Nagoya, Japon)
P. Narendran (Computer Sc. Dept., SUNY, University at Albany-NY, USA)
J. Mullins (CRAC, Ecole Polytechnique, Montréal, Canada)
B. Gramlich (Technische Universitat Wien, Vienna, Autriche)
P. Gastin (LIAFA, Universitée Paris-VII, France)
M. Rusinowitch (LORIA, Inria-Lorraine, Nancy, France)
H. Grall (CERMICS, ENPS-INRIA, Marne-la-Vallée, France)
D. Gray (Dublin City University, Dublin, Irelande)
M. Nesi (Università degli Studi di L'Aquila, Italie)
M. Petrocchi (Istituo di Informatica e Telematica, CNR, Pisa, Italie)
S. Lafrance (CRAC, Ecole Polytechnique, Montréal, Canada)
S. Briais (LAMP-IC-EPFL, Lausanne, Suisse)
M. Narboni (Société IMPLEXE, Marseille, France)
J.-T. Seo (National Security Institute, Daejeon, Corée)
M. Baudet (Ecole Normale Supérieure, Cachan, France)
J. Chen (LIFO - Le STUDIUM, Orléans, France)
S. Anantharaman (LIFO, Université d'Orléans, France)
G. Hains (LIFO, Université d'Orléans, France)
P. Réty (LIFO, Université d'Orléans, France)
S. Limet (LIFO, Université d'Orléans, France)
J. Vuotto (LIFO, Université d'Orléans, France)
A. Merlin (LIFO, Université d'Orléans, France)
N. Pillot (Université d'Orléans, France)


Back to the Workshop Page