| Lubos Brim |
(Masaryk Univ., Czech Republic) |
Co-Chair |
| Rance Cleaveland |
(University of Maryland, USA) |
| Wan Fokkink |
(Vrije Universiteit Amsterdam & CWI, The Netherlands) |
| Stefania Gnesi |
(ISTI-CNR, Italy) |
| Susanne Graf |
(VERIMAG, France) |
| David Harel |
(Weizmann Institute of Science, Israel) |
| Klaus Havelund |
(Kestrel Technology, USA) |
| Thomas A. Henzinger |
(EPFL, Switzerland) |
| Leszek Holenderski |
(Philips Research, The Netherlands) |
| Stefan Kowalewski |
(RWTH Aachen, Germany) |
| Marta Kwiatkowska |
(University of Birmingham, UK) |
| Salvatore La Torre |
(Universita' degli Studi di Salerno, Italy) |
| Martin Leucker |
(TU München, Germany) |
Co-Chair |
| Tiziana Margaria |
(University of Göttingen, Germany) |
| Radu Mateescu |
(INRIA Rhône-Alpes and ENS Lyon, France) |
| Doron Peled |
(University of Warwick, UK) |
| Ernesto Pimentel |
(University of Malaga, Spain) |
| Andreas Podelski |
(Max-Planck-Institut für Informatik, Germany) |
| Don Sannella |
(University of Edinburgh, UK) |
| Joseph Sifakis |
(VERIMAG, France) |
