Program Committee
- Jose Aguilar
- Elvira Albert
- Franz Baader
- Gilles Barthe
- Peter Baumgartner
- Armin Biere
- Nikolaj Bjørner (program co-chair)
- Thierry Coquand
- Veronique Cortier
- Luca De Alfaro
- Christian Fermueller
- John Harrison
- Pascal Van Hentenryck
- Manuel Hermengildo
- Barbara Jobstmann
- Deepak Kapur
- Konstantin Korovin
- Laura Kovacs
- Carsten Lutz
- Parthasarathy Madhusudan
- Aart Middeldorp
- Dale Miller
- Cesar Munoz
- Albert Oliveras
- Lawrence Paulson
- Ruzica Piskac
- Francesca Rossi
- Grigore Rosu
- Torsten Schaub
- Natarajan Shankar
- Wolfgang Thomas
- Cesare Tinelli
- Andrei Voronkov (program co-chair)
- Toby Walsh
- Christoph Weidenbach
- Frank Wolter