IJCAR Program Committee
The program committee of IJCAR'14 is shown below.
- Franz Baader (TU Dresden)
- Peter Baumgartner (National ICT Australia)
- Bernhard Beckert (Karlsruhe Institute of Technology)
- Jasmin Christian Blanchette (TU Muenchen)
- Bernard Boigelot (University of Liege)
- Maria Paola Bonacina (Universita` degli Studi di Verona)
- Agata Ciabattoni (TU Wien)
- Koen Claessen (Chalmers University of Technology)
- Leonardo De Moura (Microsoft Research)
- Stéphanie Delaune (CNRS, LSV)
- Stéphane Demri (NYU & CNRS) - chair
- Stephan Falke (Karlsruhe Institute of Technology (KIT))
- Christian Fermüller (TU Wien)
- Pascal Fontaine (Loria, INRIA, University of Nancy)
- Silvio Ghilardi (Dipartimento di Matematica, Università degli Studi di Milano)
- Jürgen Giesl (RWTH Aachen)
- Valentin Goranko (Technical University of Denmark)
- Radu Iosif (Verimag/CNRS/University of Grenoble)
- Deepak Kapur (University of New Mexico) - chair
- Boris Konev (The University of Liverpool)
- Konstantin Korovin (Manchester University)
- Daniel Kroening (Computer Science Department, Oxford University)
- Viktor Kuncak (EPFL)
- Martin Lange (University of Kassel)
- Stephan Merz (INRIA Lorraine)
- Aart Middeldorp (University of Innsbruck)
- Enric Rodríguez Carbonell (Technical University of Catalonia)
- Renate A. Schmidt (University of Manchester)
- Carsten Schuermann (IT University of Copenhagen)
- Roberto Sebastiani (DISI, University of Trento)
- Viorica Sofronie-Stokkermans (MPI)
- Geoff Sutcliffe (University of Miami)
- Cesare Tinelli (The University of Iowa)
- Uwe Waldmann (MPI fr Informatik)
- Christoph Weidenbach (Max-Planck-Institut für Informatik) - chair
- Jian Zhang (Institute of Software, Chinese Academy of Sciences)