Organization
Program Committee
Christel Baier
TU Dresden, Germany
Ezio Bartocci
Vienna University of Technology, Austria
Dirk Beyer
LMU Munich, Germany
Armin Biere (Chair)
Johannes Kepler University Linz
Jasmin Blanchette
Vrije Universiteit Amsterdam, The Netherlands
Roderick Bloem
TU Graz, Austria
Hana Chockler
King’s College London, UK
Alessandro Cimatti
FBK-irst, Italy
Rance Cleaveland
University of Maryland, USA
Goran Frehse
Université Grenoble Alpes, France
Martin Fränzle
Carl von Ossietzky Univ. Oldenburg, Germany
Orna Grumberg
Technion - Israel Institute of Technology
Kim Guldstrand Larsen
Aalborg University, Denmark
Holger Hermanns
Universität des Saarlandes, Germany
Marijn Heule
Carnegie Mellon University, USA
Falk Howar
TU Clausthal, IPSSE, Germany
Benjamin Kiesl
CISPA Helmholtz Center for Inf. Security, Germany
Laura Kovacs
Vienna University of Technology, Austria
Jan Kretinsky
TU Munich, Germany
Wenchao Li
Boston University, USA
Ken McMillan
Microsoft, USA
Aina Niemetz
Stanford University, USA
Gethin Norman
University of Glasgow, UK
David Parker (Chair)
University of Birmingham, UK
Corina Pasareanu
CMU/NASA Ames Research Center, USA
Nir Piterman
University of Gothenburg, Sweden
Kristin Yvonne Rozier
Iowa State University, USA
Philipp Ruemmer
Uppsala University, Sweden
Natasha Sharygina
Università della Svizzera italiana, Switzerland
Bernhard Steffen
TU Dortmund, Germany
Jan Strejček
Masaryk University, Czech Republic
Michael Tautschnig
Queen Mary University of London, UK
Jaco van de Pol
Aarhus University, Denmark
Tom van Dijk
University of Twente, The Netherlands
Christoph Wintersteiger
Microsoft, UK