Program Committee
- June Andronick (CSIRO|Data61 and UNSW)
- Franz Baader (TU Dresden)
- Gilles Barthe (IMDEA Software Institute) - chair
- Hubert Comon (LSV, CNRS & ENS de Cachan)
- Thierry Coquand (Chalmers University of Technology)
- Cas Cremers (University of Oxford)
- Loris D'Antoni (University of Wisconsin-Madison)
- Pedro R. D'Argenio (Universidad Nacional de Córdoba - CONICET)
- Nachum Dershowitz (Tel Aviv University)
- Thomas Eiter (Vienna University of Technology)
- Michael Emmi (SRI International)
- Marco Gaboardi (Computer Science and Engineering - University at Buffalo, SUNY)
- Adria Gascon (The Alan Turing Institute / Warwick University)
- Herman Geuvers (Radboud University)
- Jürgen Giesl (RWTH Aachen University)
- Orna Grumberg (Technion - Israel Institute of Technology)
- John Harrison (Amazon Web Services)
- Lukas Holik (Brno University of Technology)
- Reiner Hähnle (TU Darmstadt)
- Temesghen Kahsai (The University of Iowa)
- Joost-Pieter Katoen (RWTH Aachen University)
- Dexter Kozen (Cornell University)
- Joe Leslie-Hurd (Intel)
- Leonid Libkin (The University of Edinburgh)
- Joao Marques-Silva (Universidade de Lisboa)
- Annabelle McIver (Macquarie University)
- Georg Moser (University of Innsbruck)
- Peter Müller (ETH Zurich)
- Nicola Olivetti (LSIS, Aix-Marseille University)
- Frank Pfenning (Carnegie Mellon University)
- David Pym (University College London)
- David Sands (Chalmers University of Technology)
- Davide Sangiorgi (University of Bologna)
- Torsten Schaub (University of Potsdam)
- Geoff Sutcliffe (University of Miami) - chair
- Cesare Tinelli (The University of Iowa)
- Ashish Tiwari (SRI International)
- Margus Veanes (Microsoft) - chair