Program Committee
- Wolfgang Ahrendt (Chalmers University of Technology)
- Elvira Albert (Universidad Complutense de Madrid)
- Franz Baader (TU Dresden)
- Matthias Baaz (TU Wien)
- Ahmed Bhayat (University of Leicester)
- Armin Biere (Freiburg)
- Nikolaj Bjørner (Microsoft)
- Jasmin Blanchette (Ludwig-Maximilians-Universität München)
- Krishnendu Chatterjee (Institute of Science and Technology (IST))
- Agata Ciabattoni (TU Wien)
- Koen Claessen (Chalmers University of Technology)
- Ruy De Queiroz (Universidade Federal de Pernambuco)
- Joaquin Diazboils (Universitat de València)
- Bernd Finkbeiner (CISPA Helmholtz Center for Information Security)
- Jürgen Giesl (RWTH Aachen University)
- Marijn Heule (Carnegie Mellon University)
- Nao Hirokawa (JAIST)
- Peter Höfner (Australian National University)
- Predrag Janicic (University of Belgrade)
- Mikolas Janota (Czech Technical University in Prague)
- Dejan Jovanović (Amazon Web Services)
- Orna Kupferman (Hebrew University)
- Kuldeep S. Meel (National University of Singapore)
- Aart Middeldorp (University of Innsbruck)
- Dale Miller (INRIA and LIX/Institut Polytechnique de Paris)
- Georg Moser (University of Innsbruck)
- Jorge A Navas (SRI International)
- Albert Oliveras (Universitat Politècnica de Catalunya)
- Ruzica Piskac (Yale University) - chair
- Giles Reger (Amazon Web Services)
- Andrew Reynolds (University of Iowa)
- Philipp Rümmer (University of Regensburg)
- Lakhdar Sais (CRIL, Université d'Artois)
- Stephan Schulz (DHBW Stuttgart)
- Helmut Seidl (Technical University of Munich)
- Natarajan Shankar (SRI International)
- Martin Suda (Czech Technical University in Prague)
- Josef Urban (Czech Technical University in Prague)
- Margus Veanes (Microsoft)
- Andrei Voronkov (The University of Manchester) - chair
- Christoph Weidenbach (Max Planck Institute for Informatics)
- Bruno Woltzenlogel Paleo (Djed Alliance)