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 (TU Muenchen)
- Leonardo De Moura (Microsoft Research) - chair
- Hans De Nivelle (Institute of Computer Science, 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 (Manchester University)
- Jens Otten (University of Potsdam)
- Jeff Z. Pan (University of Aberdeen)
- Bijan Parsia (University of Manchester)
- Adam Pease (Articulate Software)
- Nicolas Peltier (CNRS - LIG)
- Ruzica Piskac (Yale University)
- Renate A. Schmidt (University of Manchester)
- Stephan Schulz (TU München) - chair
- Geoff Sutcliffe (University of Miami)
- Christoph Weidenbach (Max Planck Institute for Informatics)