Program Committee
- Cyrille Valentin Artho (AIST)
- Franz Baader (TU Dresden)
- Christel Baier (Technical University of Dresden)
- Peter Baumgartner (National ICT Australia)
- Armin Biere (Johannes Kepler University)
- Maria Paola Bonacina (Universita` degli Studi di Verona)
- Lei Bu (Nanjing University)
- Franck Cassez (Macquarie University)
- Krishnendu Chatterjee (Institute of Science and Technology (IST))
- Michael Codish (Ben-Gurion University of the Negev)
- Hubert Comon-Lundh (ENS Cachan)
- Martin Davis (UC Berkeley and New York University)
- Joerg Endrullis (Vrije Universiteit Amsterdam)
- Javier Esparza (Technische Universität München)
- Ansgar Fehnker (University of the South Pacific)
- Christian Fermüller (TU Wien)
- Bernd Fischer (Stellenbosch U)
- Jürgen Giesl (RWTH Aachen)
- Rajeev Gore (The Australian National University)
- Tim Griffin (University of Cambridge)
- Kim Guldstrand Larsen (Computer Science, Aalborg University)
- Miki Hermann (LIX, Ecole Polytechnique)
- Dejan Jovanović (SRI International)
- Laura Kovacs (Chalmers University of Technology)
- Dexter Kozen (Cornell University)
- Temur Kutsia (RISC, Johannes Kepler University Linz)
- Rustan Leino (Microsoft Research)
- Joe Leslie-Hurd (Intel Corporation)
- Luigi Liquori (INRIA)
- Christopher Lynch (Clarkson University)
- Annabelle McIver (Macquarie University)
- Kenneth McMillan (Microsoft Research)
- Aart Middeldorp (University of Innsbruck)
- Marius Minea (Politehnica University of Timisoara)
- Matteo Mio (CNRS/ENS-Lyon)
- Joachim Niehren (INRIA Lille)
- Prakash Panangaden (McGill University)
- Christine Paulin-Mohring (Université Paris-Sud)
- Andreas Podelski (University of Freiburg)
- Sanjiva Prasad (Indian Institute of Technology Delhi)
- Revantha Ramanayake (Vienna University of Technology)
- Grigore Rosu (University of Illinois at Urbana-Champaign)
- Michael Rusinowitch (LORIA - INRIA Nancy)
- Torsten Schaub (University of Potsdam)
- Helmut Seidl (TU München)
- Geoff Sutcliffe (University of Miami)
- Gancho Vachkov (The University of the south Pacific (USP), Fiji)
- Ron Van Der Meyden (UNSW)
- Tomas Vojnar (Brno University of Technology)
- Andrei Voronkov (The University of Manchester) - chair
- Toby Walsh (NICTA and UNSW)