List of participants
Benoît Caillaud, INRIA-IRISA Rennes, France
Paul Caspi, Verimag-CNRS Grenoble, France
Joachim Falk, U. Erlangen-Nuremberg, Deutschland
Alberto Ferrari, Parades Roma, Italia
Thierry Gautier, INRIA-IRISA Rennes, France
Marc Geilen, TU Eindhoven, Nederland
Sébastien Gérard, CEA-LIST Palaiseau, France
Alain Girault, INRIA Rhône-Alpes Monbonnot, France
Gregor Goessler, INRIA Rhône-Alpes Monbonnot, France
Michael González-Harbour, U. Cantabria Santander,España
Christian Haubelt, U. Erlangen-Nuremberg, Deutschland
Tom Henzinger, EPFL Lausanne, Suisse
Axel Jantsch, KTH Stockholm, Schweden
Bengt Jonsson, U. Uppsala, Schweden
Christoph Kirsch, U. Salzburg, Osterreich
Edward Lee, UC Berkeley, USA
Johan Lilius, Åbo Akademi U. Turku, Suomi
Florence Maraninchi, Verimag-INPG Grenoble, France
Michael Mendler, U. Bamberg, Deutschland
Marius Minea, U. Timisoara, Romania
Lionel Morel, INRIA-IRISA Rennes, France
Joseph Sifakis, Verimag-CNRS Grenoble, France
Alena Simalatsar, Universitá di Trento, Italia
Nikolay Stoimenov, ETH Zürich, Schweitz
Lothar Thiele, ETH Zürich, Schweitz
Eugenio Villar, U. Cantabria Santander, España
Participation
This workshop was based on invitations and the attendance was strictly limited to 40 persons.