SMT PROGRAM COMMITTEE
The program committee of SMT 2014 is shown below.
- Martin Brain (University of Oxford)
- Roberto Bruttomesso (Atrenta)
- Bruno Dutertre (SRI International)
- Pascal Fontaine (Inria, Loria, University of Lorraine)
- Malay Ganai (NEC Labs America)
- Sicun Gao (Carnegie Mellon University)
- Amit Goel (Calypto Design Systems)
- Alberto Griggio (FBK-IRST)
- Jochen Hoenicke (University of Freiburg)
- Dejan Jovanović (SRI International)
- Albert Oliveras (Technical University of Catalonia)
- Philipp Rümmer (Uppsala University) - chair
- Christoph Sticksel (The University of Iowa)
- Cesare Tinelli (The University of Iowa)
- Tjark Weber (Uppsala University)
- Georg Weissenbacher (Vienna University of Technology)
- Thomas Wies (New York University)
- Christoph M. Wintersteiger (Microsoft Research) - chair