Program Committee
- Erika Abraham (RWTH Aachen University) - chair
- Franz Baader (TU Dresden)
- Nikolaj Bjørner (Microsoft Research) - chair
- Jasmin Blanchette (Ludwig-Maximilians-Universität München)
- Borzoo Bonakdarpour (Michigan State University)
- Julie Cailler (University of Lorraine, CNRS, Inria, LORIA, Nancy, France)
- Supratik Chakraborty (Indian Institute of Technology Bombay)
- Krishnendu Chatterjee (Institute of Science and Technology Austria (ISTA))
- Alessandro Cimatti (Fondazione Bruno Kessler)
- Katalin Fazekas (TU Wien)
- Stéphane Graham-Lengrand (SRI International)
- Arie Gurfinkel (University of Waterloo)
- Marijn Heule (Carnegie Mellon University)
- Chih-Duo Hong (National Chengchi University)
- Mikoláš Janota (Czech Technical University in Prague)
- Einar Johnsen (Full Professor)
- Temesghen Kahsai (Amazon)
- Cezary Kaliszyk (University of Melbourne)
- Benjamin Lucien Kaminski (Saarland University and University College London)
- Daniela Kaufmann (TU Wien)
- Radu Mardare (Heriot-Watt University)
- Dale Miller (INRIA and LIX/Institut Polytechnique de Paris)
- Albert Oliveras (Universitat Politècnica de Catalunya)
- Elaine Pimentel (UCL)
- Clément Pit-Claudel (EPFL)
- Mathias Preiner (Stanford University)
- Michael Rawson (University of Southampton) - chair
- Stephan Schulz (DHBW Stuttgart)
- Natasha Sharygina (University of Lugano, Switzerland)
- Alexander Steen (University of Greifswald)
- Martin Suda (Czech Technical University in Prague)
- Stefan Szeider (TU Wien)
- Sophie Tourret (INRIA and MPI for Informatics)
- Willem-Jan van Hoeve (Carnegie Mellon University)
- Christoph Weidenbach (Max Planck Institute for Informatics)