Programme Committee
Program Committee Chairs
Ralf Pinger
Mobility and Logistics Division * Rail Automation * Siemens AG * Germany
Marielle Stoelinga
Formal Methods & Tools * University of Twente * The Netherlands
Web: http://www.cs.utwente.nl/~marielle
Program Committee
Confirmed members are:- Alessandro Cimatti, FBK, Italy
- Alessandro Fantechi, University of Florence, Italy
- Bernard Schaetz, Fortiss, Germany
- Cindy Eisner, IBM Haifa, Israel
- Corina Pasareanu, NASA AMES, USA
- Dave Parker, University of Oxford, UK
- Franjo Ivancic, NEC Laboratories America, USA
- Frederic Lang, INRIA Grenoble Rhone-Alpes, France
- Georgios Fainekos, Arizona State University, USA
- Gwen Salaun, INRIA Rhone-Alpes, France
- Holger Hermanns, Saarland University, Germany
- Jakob Rehof, University of Dortmund, Germany
- Jan Peleska, University of Bremen, Germany
- John Rushby, SRI International, USA,
- Joost-Pieter Katoen, RWTH Aachen, Germany
- Juliana Bowles, University of St Andrews, UK
- Judi Romijn, Movares, The Netherlands
- Lubos Brim, Masaryk University, Czech Republic
- Odile Laurent, Airbus, France
- Maria del Mar Gallando, University of Malaga, Spain
- Marjan Sirjani, Reykjavik University, Iceland
- Michael Dierkes, Rockwell Collins, France
- Michaela Huhn, Technical University Clausthal, Germany
- Mieke Massink, CNR-ISTI Pisa, It
- Stefan Kowalewski, RWTH Aachen, Germany
- Stefan Leue, University of Konstanz, Germany
- Thomas Peikenkamp, Office, Germany
- Tiziana Margaria, University of Potsdamm, Germany