- Christel Baier,
Fakultät Informatik, TU Dresden, Germany
- Bernard Boigelot,
Montefiore Institute, University of Liège, Belgium
- Luca de Alfaro,
Baskin School of Engineering, University of California, Santa Cruz, California, USA
- Dino Distefano,
Department of Computer Science, Queen Mary, University of London, UK
- Javier Esparza,
Faculty of Computer Science, TU Munich, Germany
- Peter Habermehl (co-chair),
LSV, École Normale Supérieure de Cachan, CNRS, INRIA, France and
LIAFA, Université Denis Diderot---Paris 7, CNRS, France
- Radu Iosif,
VERIMAG, Université Joseph Fourier/INPG/CNRS, Grenoble, France
- Anca Muscholl,
LaBRI, Université Bordeaux 1/CNRS, France
- Jiří Srba,
BRICS, University of Aalborg, Denmark
- Stavros Tripakis,
Cadence Research Laboratories, Berkeley, California, USA
- Tomáš Vojnar (co-chair),
Faculty of Information Technology, Brno University of Technology, Czech Republic
|
|