| 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 |
| 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 |
| Christoph Weidenbach | Max Planck Institute for Informatics |
| Bruno Woltzenlogel Paleo | Djed Alliance |
