VERIFY Program Committee
The program committee of VERIFY 2014 is shown below.
- Wolfgang Ahrendt (Chalmers University of Technology)
- Juan Augusto (Middlesex University)
- Serge Autexier (DFKI) - chair
- Bernhard Beckert (Karlsruhe Institute of Technology) - chair
- Iliano Cervesato (Carnegie Mellon University)
- Jacques Fleuriot (University of Edinburgh)
- Marieke Huisman (University of Twente)
- Dieter Hutter (DFKI GmbH)
- Reiner Hähnle (Technical University of Darmstadt)
- Deepak Kapur (University of New Mexico)
- Gerwin Klein (NICTA and UNSW)
- Joe Leslie-Hurd (Intel Corporation)
- Fabio Martinelli (IIT-CNR)
- Catherine Meadows (NRL)
- Stephan Merz (INRIA Lorraine)
- Tobias Nipkow (TU München)
- Lawrence Paulson (University of Cambridge)
- Johann Schumann (SGT, Inc/NASA Ames)
- Kurt Stenzel (University of Augsburg)