PC chairs
- Chris Benzmüller, University of Bamberg, Germany
- Marijn Heule, Carnegie Mellon University, U.S.A.
- Renate Schmidt, University of Manchester, UK
PC members
- Franz Baader, TU Dresden, Germany
- Haniel Barbosa, Universidade Federal de Minas Gerais, Brazil
- Armin Biere, University of Freiburg, Germany
- Nikolaj Bjørner, Microsoft, U.S.A.
- Jasmin Blanchette, LMU München, Germany
- Maria Paola Bonacina, Università degli Studi di Verona, Italy
- Florent Capelli, Artois University, France
- Agata Ciabattoni, TU Wien, Austria
- Clare Dixon, University of Manchester, United Kingdom
- Pascal Fontaine, University of Liège, Belgium
- Carsten Fuhs, Birkbeck, University of London, United Kingdom
- Didier Galmiche, University of Lorraine - LORIA, France
- Silvio Ghilardi, Università degli Studi di Milano, Italy
- Jürgen Giesl, RWTH Aachen University, Germany
- Arie Gurfinkel, University of Waterloo, Canada
- Andrzej Indrzejczak, University of Lodz, Poland
- Moa Johansson, Chalmers University of Technology, Sweden
- Daniela Kaufmann, TU Wien, Austria
- Patrick Koopmann, Vrije Universiteit Amsterdam, The Netherlands
- Konstantin Korovin, University of Manchester, United Kingdom
- Peter Lammich, University of Twente, The Netherlands
- Martin Lange, University of Kassel, Germany
- Tim Lyon, TU Dresden, Germany
- Kuldeep Meel, University of Toronto, Canada
- Stephan Merz, Inria - LORIA, France
- Cláudia Nalon, University of Brasília, Brazil
- Aina Niemetz, Stanford University, U.S.A.
- Albert Oliveras, Universitat Politècnica de Catalunya, Spain
- Xavier Parent, TU Wien, Austria
- Nicolas Peltier, CNRS - LIG, France
- Rafael Peñaloza, University of Milano-Bicocca, Italy
- Elaine Pimentel, UCL, United Kingdom
- André Platzer, Karlsruhe Institute of Technology, Germany
- Andrei Popescu, University of Sheffield, United Kingdom
- Florian Rabe, FAU Erlangen-Nürnberg, Germany
- Giles Reger, Amazon Web Services and University of Manchester, United Kingdom
- Giselle Reis, Carnegie Mellon University, Qatar
- Andrew Reynolds, University of Iowa, U.S.A.
- Christophe Ringeissen, Inria - LORIA, France
- Philipp Rümmer, University of Regensburg, Germany
- Uli Sattler, University of Manchester, United Kingdom
- Tanja Schindler, University of Basel, Switzerland
- Claudia Schon, Hochschule Trier, Germany
- Stephan Schulz, DHBW Stuttgart, Germany
- Roberto Sebastiani, University of Trento, Italy
- Martina Seidl, Johannes Kepler University Linz, Austria
- Viorica Sofronie-Stokkermans, University of Koblenz, Germany
- Alexander Steen, University of Greifswald, Germany
- Martin Suda, Czech Technical University in Prague, Czech Republic
- Yong Kiam Tan, Institute for Infocomm Research, Singapore
- Sophie Tourret, Inria - LORIA, France
- Josef Urban, Czech Technical University in Prague, Czech Republic
- Uwe Waldmann, MPI for Informatics, Germany
- Christoph Weidenbach, MPI for Informatics, Germany
- Sarah Winkler, Free University of Bozen-Bolzano, Italy
- Yoni Zohar, Bar-Ilan University, Israel