PAAR Program Committee
The program committee of PAAR-2014 is shown below.
- Clark Barrett (New York University)
- Peter Baumgartner (National ICT Australia)
- Christoph Benzmüller (Freie Universität Berlin)
- Jasmin Christian Blanchette (Technische Universität München)
- Leonardo De Moura (Microsoft Research) - chair
- Hans De Nivelle (University of Wroclaw)
- Pascal Fontaine (Loria, INRIA, University of Nancy)
- Martin Giese (University of Oslo)
- Alberto Griggio (FBK-IRST)
- Marijn Heule (The University of Texas at Austin)
- Dejan Jovanović (SRI International)
- Yevgeny Kazakov (The University of Ulm)
- Boris Konev (The University of Liverpool) - chair
- Konstantin Korovin (The University of Manchester)
- Jens Otten (University of Potsdam)
- Jeff Z. Pan (University of Aberdeen)
- Bijan Parsia (The University of Manchester)
- Adam Pease (Articulate Software)
- Nicolas Peltier (CNRS - LIG)
- Ruzica Piskac (Yale University)
- Renate A. Schmidt (The University of Manchester)
- Stephan Schulz (Technische Universität München) - chair
- Geoff Sutcliffe (University of Miami)
- Christoph Weidenbach (Max Planck Institute for Informatics)