Committees

Bernhard Steffen
TU Dortmund
steffen@cs.uni-dortmund.de

Program Committee

Name	Institution
Wolfgang Ahrendt	Chalmers University of Technology, SE
Kevin Baum	German Research Center for Artificial Intelligence, DE
Klaus Havelund	NASA Jet Propulsion Laboratory, US
Thorsten Helfer	Saarland University, DE
Falk Howar	TU Dortmund, DE
Nils Jansen	Radboud University Nijmegen, NL
Taylor T. Johnson	Vanderbilt University, US
Bettina Könighofer	TU Graz, AT
Jan Křetínský	TU Munich, DE
Markus Langer	Philipps-University of Marburg, DE
Kim Larsen	Aalborg University, DK
Martin Leucker	University of Lübeck, DE
Tiziana Margaria	University of Limerick and Lero, IE
George Metakides
Daniel Neider	TU Dortmund, DE
Viola Schiaffonati	Politecnico di Milano, IT
Eva Schmidt	TU Dortmund, DE
Andreas Sesing-Wagenpfeil	Saarland University, DE
Timo Speith	University of Bayreuth, DE