LPAR Program Committee
- Franz Baader (Technical University of Dresden)
- Christel Baier (Technical University of Dresden)
- Josh Berdine (Microsoft Research)
- Armin Biere (Johannes Kepler University Linz)
- Nikolaj Bjorner (Microsoft Research)
- Sandrine Blazy (IRISA - Université Rennes 1)
- Krishnendu Chatterjee (IST Austria)
- Thierry Coquand (University of Gothenburg)
- Joerg Endrullis (Vrije Universiteit Amsterdam)
- Alberto Griggio (FBK-ICT IRST)
- Kim Guldstrand Larsen (Aalborg University)
- John Harrison (Intel Corporation)
- Manuel Hermenegildo (IMDEA Software Institute)
- Stefan Hetzl (Vienna University of Technology)
- Nao Hirokawa (Japan Advanced Institute of Science and Technology)
- Martin Hofmann (LMU Munich)
- Gerwin Klein (NICTA and UNSW)
- Michael Kohlhase (Jacobs University)
- Laura Kovacs (Chalmers University of Technology)
- Orna Kupferman (Hebrew University)
- Temur Kutsia (Johannes Kepler University Linz)
- Marta Kwiatkowska (University of Oxford)
- P. Madhusudan (University of Illinois at Urbana-Champaign)
- Rupak Majumdar (Max Planck Institute for Software Systems)
- Ken McMillan (Cadence Berkeley Labs)
- Ken McMillan (Cadence Berkeley Labs) - chair
- Ken Mcmillan (Microsoft Research)
- Aart Middeldorp (University of Innsbruck)
- Aart Middeldorp (University of Innsbruck) - chair
- Aart Middeldorp (University of Innsbruck)
- Albert Oliveras (Technical University of Catalonia)
- Axel Polleres (Vienna University of Economics and Business)
- Norbert Preining (Japan Advanced Institute of Science and Technology)
- Grigore Rosu (University of Illinois at Urbana-Champaign)
- Philipp Ruemmer (Uppsala University)
- Natarajan Shankar (SRI International)
- Geoff Sutcliffe (University of Miami)
- Geoff Sutcliffe (University of Miami)
- Naoyuki Tamura (Kobe University)
- Helmut Veith (Vienna University of Technology)
- Andrei Voronkov (University of Manchester)
- Andrei Voronkov (University of Manchester) - chair
- Andrei Voronkov (University of Manchester)
- Christoph Weidenbach (Max Planck Institute for Informatics)