Committees
Symposium Chair
Bernhard Steffen
(TU Dortmund, D)
steffen[at]cs.uni-dortmund.de
Program Chair
Tiziana Margaria
(Univ. Potsdam, D)
margaria[at]cs.uni-potsdam.de
Industrial Board
Thomas Göke
Axel Hessenkämper
Alfred Hofmann
Program Committee
Yamine Ait-Ameur (F)
Hartmut Asche (D)
Dirk Beyer (D)
Mihaela Bobaru (USA)
Edmund Clarke (USA)
Ylies Falcone (F)
Francesco Flammini (I)
Stefania Gnesi (I)
Reiner Hähnle (D)
John Hatcliff (USA)
Falk Howar (D)
Joost-Pieter Katoen (D)
Joost Kok (NL)
Jens Knoop (A)
Anna-Lena Lamprecht (D)
Kim Larsen (DK)
Martin Leucker (D)
Björn Lisper (S)
Malte Lochau (D)
Karl Meinke (S)
Dominique Mery (F)
Alessandro Moschitti (I)
Johan Nordlander (S)
Corina Pasareanu (USA)
Alexander K. Petrenko (RUS)
Sophie Quinton (F)
Ina Schaefer (D)
Dietmar Schreiner (A)
Dawn Song (USA)
Fons Verbeek (NL)
Neil Walkinshaw (GB)
Mark Wilkinson (CAN)
Lenore Zuck (USA)