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