PROGRAM COMMITTEE
- Fahiem Bacchus (University of Toronto)
- Olaf Beyersdorff (University of Leeds)
- Armin Biere (Johannes Kepler University)
- Leonardo De Moura (Microsoft Research)
- Uwe Egly (Vienna University of Technology)
- John Franco (University of Cincinnati)
- Enrico Giunchiglia (DIST - Univ. Genova)
- Youssef Hamadi (Microsoft Research)
- Marijn Heule (The University of Texas at Austin) - chair
- Holger Hoos (University of British Columbia)
- Alexander Ivrii (IBM)
- Jie-Hong Roland Jiang (National Taiwan University)
- Matti Järvisalo (University of Helsinki)
- Oliver Kullmann (Swansea University)
- Daniel Le Berre (CNRS - Université d'Artois)
- Ines Lynce (INESC-ID/IST, University of Lisbon)
- Sharad Malik (Princeton University)
- Panagiotis Manolios (Northeastern University)
- Norbert Manthey (TU Dresden)
- Joao Marques-Silva (University College Dublin)
- Alexander Nadel (Intel)
- Nina Narodytska (Carnegie Mellon School of Computer Science)
- Jakob Nordström (KTH Royal Institute of Technology)
- Albert Oliveras (Technical University of Catalonia)
- Karem Sakallah (University of Michigan)
- Roberto Sebastiani (DISI, University of Trento)
- Martina Seidl (Johannes Kepler University Linz)
- Bart Selman (Cornell University)
- Laurent Simon (Labri, Bordeaux Institute of Technology)
- Carsten Sinz (Karlsruhe Institute of Technology)
- Stefan Szeider (Vienna University of Technology)
- Sean Weaver (University of Cincinnati) - chair
- Xishun Zhao (Insitute of Logic and Cognition, Sun Yat-Sen University)