Skip to content
Program Committee Chairs
- Yliès Falcone, Univ. Grenoble-Alpes and Inria, France
- Cesar Sanchez, IMDEA Madrid, Spain
Tool Committee Chair
- Klaus Havelund, Nasa Jet Propulsion Laboratory, USA
Program Committee
- Erika Abraham, RWTH Aachen University, Germany
- Howard Barringer, The University of Manchester, UK
- Ezio Bartocci, TU Wien, Austria
- Andreas Bauer, NICTA & Australian National University, Australia
- Saddek Bensalem, Univ. Grenoble Alpes, France
- Eric Bodden, Fraunhofer SIT and Technische University Darmstadt, Germany
- Borzoo Bonakdarpour, McMaster University, Canada
- Laura Bozzelli, Technical University of Madrid (UPM), Spain
- Juan Caballero, IMDEA Software Institute, Spain
- Wei-Ngan Chin, National University of Singapore, Singapore
- Christian Colombo, University of Malta, Malta
- Jyotirmoy Deshmukh, Toyota Technical Center, USA
- Alexandre Donzé, UC Berkeley EECS Department, USA
- Yliès Falcone, Univ. Grenoble Alpes and Inria, France
- Bernd Finkbeiner, Saarland University, Germany
- Adrian Francalanza, University of Malta, Malta
- Vijay Garg, The University of Texas at Austin, USA
- Patrice Godefroid, Microsoft Research, USA
- Susanne Graf, Univ. Grenoble Alpes and CNRS, France
- Radu Grosu, Vienna University of Technology, Austria
- Sylvain Hallé, Université du Québec à Chicoutimi, Canada
- Klaus Havelund, Jet Propulsion Laboratory and California Institute of Technology, USA
- Johan Jaffar, National University of Singapore, Singapore
- Thierry Jéron, Inria Rennes – Bretagne Atlantique, France
- Johannes Kinder, Royal Holloway University of London, UK
- Felix Klaedtke, NEC Europe Ltd., Germany
- Kim G. Larsen, Aalborg University, Denmark
- Axel Legay, Inria Rennes – Bretagne Atlantique, France
- Martin Leucker, University of Lübeck, Germany
- Benjamin Livshits, Microsoft Research, USA
- Joao Lourenço, Universidade Nova de Lisboa, Portugal
- Rupak Majumdar, MPI-SWS, Germany
- Leonardo Mariani, University of Milano Bicocca, Italy
- David Naumann, Stevens Institute of Technology, USA
- Dejan Nickovic, Austrian Institute of Technology, Austria
- Gordon Pace, University of Malta, Malta
- Doron Peled, Bar Ilan University, Israel
- Lee Pike, Galois, Inc., USA
- Grigore Rosu, University of Illinois at Urbana-Champaign, USA
- Gwen Salaün, Univ. Grenoble Alpes and Inria, France
- Cesar Sanchez, IMDEA Software Institute, Spain
- Sriram Sankaranarayanan, University of Colorado Boulder, USA
- Gerardo Schneider, University of Gothenburg, Sweden
- Scott Smolka, Stony Brook University, USA
- Oleg Sokolsky, University of Pennsylvania, USA
- Bernhard Steffen, University of Dortmund, Germany
- Scott Stoller, Stony Brook University, USA
- Volker Stolz, University of Oslo, Norway
- Jun Sun, Singapore University of Technology and Design, Singapore
- Juan Tapiador, Universidad Carlos III de Madrid, Spain
- Serdar Tasiran, Koc Univ., Turkey
- Michael Whalen, University of Minnesota, USA
- Eugen Zalinescu, ETH Zurich, Switzerland
- Lenore Zuck, University of Illinois at Chicago, USA
Tool Committee
- Steven Arzt, EC Spride, Germany
- Howard Barringer, The University of Manchester, UK
- Ezio Bartocci, TU Wien, Austria
- Martin Leucker, University of Luebeck, Germany
- Gordon Pace, University of Malta, Malta
- Giles Reger, The University of Manchester, UK
- Julien Signoles, CEA, France
- Oleg Sokolsky, University of Pennsylvania, USA
- Bernhard Steffen, University of Dortmund, Germany
- Nikolai Tillmann, Microsoft Research, USA
- Eugen Zalinescu, ETH Zurich, Switzerland