Committees
Workshop Chairs
- Viktor Kuncak, Ecole Polytechnique Fédérale de Lausanne (EPFL), Switzerland
- Carsten Sinz, Karlsruhe Institute of Technology (KIT), Germany
VERIFY Program Committee
- Wolfgang Ahrendt, Chalmers University, Sweden
- Serge Autexier, DFKI Bremen, Germany
- Bernhard Beckert, KIT, Germany
- Iliano Cervesato, CMU Qatar Campus, Qatar
- Stephan Falke, KIT, Germany
- Marieke Huisman, University of Twente, Netherlands
- Joe Hurd, Galois, Inc., USA
- Dieter Hutter, DFKI Bremen, Germany
- Reiner Hähnle, TU Darmstadt, Germany
- Paul Jackson, University of Edinburgh, UK
- Deepak Kapur, University of New Mexico, USA
- Gerwin Klein, University of New South Wales, Australia
- Catherine Meadows, U.S. Naval Research Lab, USA
- Sebastian A. Mödersheim, Technical University of Denmark
- David Pichardie, INRIA Rennes, France
- André Platzer, CMU, USA
- Johann Schumann, NASA Ames, USA
SVARM Program Committee
- Armin Biere, JKU Linz, Austria
- Roderick Bloem, TU Graz, Austria
- Maria Paola Bonacina, University of Verona, Italy
- James Cheney, University of Edinburgh, UK
- Adrian Francalanza, University of Malta
- Silvia Ghilezan, University of Novi Sad, Serbia
- Predrag Janicic, University of Belgrade, Serbia
- Rupak Majumdar, MPI for Software Systems, Germany
- Marius Minea, University of Timisoara, Romania
- Tobias Nipkow, TU Munich, Germany
- Gordon Pace, University of Malta
- Leszek Pacholski, University of Wroclaw, Poland
- Alexander Rabinovich, Tel Aviv University, Israel
- Jaan Raik, Tallinn University, Estland
- Stefan Ratschan, Academy of Sciences of the Czech Republic
- Enric Rodríguez Carbonell, TU Catalonia, Spain
- Cesar Sanchez, University of Madrid, Spain
- Johann Schumann, NASA Ames, USA
- Peter Sestoft, University of Copenhagen, Denmark
- Tayssir Touili, University Paris Diderot, France
- Denis Trcek, University of Ljubljana, Slovenia
- Tarmo Uustalu, Tallinn University, Estland
- Tomas Vojnar, Brno University, Czech Republic
- Eran Yahav, Technion, Israel