Program Committee
- Elvira Albert (Universidad Complutense de Madrid)
- Franz Baader (TU Dresden)
- Gilles Barthe (MPI-SP IMDEA Software Institute)
- Nikolaj Bjørner (Microsoft) - chair
- Jasmin Blanchette (Ludwig-Maximilians-Universität München)
- Bart Bogaerts (Vrije Universiteit Brussel (VUB))
- Supratik Chakraborty (IIT Bombay)
- Krishnendu Chatterjee (Institute of Science and Technology Austria (ISTA))
- Agata Ciabattoni (TU Wien)
- Gabriel Ebner (Microsoft Research)
- Katalin Fazekas (TU Wien)
- Jürgen Giesl (RWTH Aachen University)
- Stéphane Graham-Lengrand (SRI International)
- Arie Gurfinkel (University of Waterloo)
- Marijn Heule (Carnegie Mellon University) - chair
- Mikolas Janota (Czech Technical University in Prague)
- Jie-Hong Roland Jiang (National Taiwan University, Taiwan)
- Benjamin Lucien Kaminski (Saarland University and University College London)
- Ciaran McCreesh (University of Glasgow)
- Aart Middeldorp (University of Innsbruck)
- Dale Miller (INRIA and LIX/Institut Polytechnique de Paris)
- Georg Moser (University of Innsbruck)
- Daniele Nantes-Sobrinho (Imperial College London)
- Albert Oliveras (Universitat Politècnica de Catalunya)
- Ruzica Piskac (Yale University)
- Philipp Rümmer (University of Regensburg)
- Stephan Schulz (DHBW Stuttgart)
- Natasha Sharygina (University of Lugano, Switzerland)
- Alexandra Silva (University College London)
- Jiri Srba (Aalborg University)
- Yong Kiam Tan (Institute for Infocomm Research (I2R), A*STAR)
- Hiroshi Unno (Tohoku University)
- Caterina Urban (Inria & ENS | PSL)
- Josef Urban (Czech Technical University in Prague)
- Margus Veanes (Microsoft)
- Andrei Voronkov (The University of Manchester) - chair