Committees
Program and Symposium Chair
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 |