QUANTIFY Program Committee
The program committee of QUANTIFY 2014 is shown below.
- Albert Atserias (Universitat Politecnica de Catalunya)
- Nikolaj Bjorner (Microsoft Research)
- Hubie Chen (Universidad del Pa\'{i}s Vasco and Ikerbasque) - chair
- Mikolas Janota (INESC-ID Lisboa)
- Hans Kleine Büning (University of Paderborn)
- Konstantin Korovin (Manchester University)
- Laura Kovacs (Chalmers University of Technology)
- Florian Lonsing (Vienna University of Technology) - chair
- Francesco Scarcello (DIMES, University of Calabria)
- Martina Seidl (Johannes Kepler University Linz) - chair
- Christoph M. Wintersteiger (Microsoft Research)