Overview
Call for Papers
Important Dates
Keynote Speakers
Program
Chairs & Committees
Submission
STAF Registration OPEN!
|
12th International Conference on Tests & Proofs
Toulouse, June 27 - June 29, 2018
Part of the STAF Event 2018(parallel ECMFA, ICGT, ICMT, SEFM, TAP, TTC)
Program Chairs
- Catherine Dubois, dubois@ensiie.fr ENSIIE-Samovar
- Burkhart Wolff, Burkhart.Wolff@lri.fr Univ Paris-Sud
Program Committee
Bernhard K. Aichernig, TU Graz
Bernhard Beckert, Karlsruhe Institute of Technology
Jasmin Christian Blanchette, Vrije Universiteit Amsterdam
Achim D. Brucker, The University of Sheffield
Carlo A. Furia, Chalmers University of Technology
Angelo Gargantini, University of Bergamo
Alain Giorgetti, FEMTO-ST, University Franche-Comté
Martin Gogolla, University of Bremen
Arnaud Gotlieb, SIMULA Research Laboratory, Norway
Reiner Hähnle, TU Darmstadt
Klaus Havelund, Jet Propulsion Laboratory
Rob Hierons, Brunel University London
Thierry Jéron, INRIA Rennes
Moa Johansson, Chalmers University of Technology
Chantal Keller, LRI, Université Paris-Sud
Nikolai Kosmatov, CEA List, France
Laura Kovacs, TU Wien
Tanja Mayerhofer, Vienna University of Technology
Karl Meinke, Royal Institute of Technology, Stockholm
Corina Pasareanu, CMU/NASA Ames Research Center
Alexandre Petrenko, Computer Research Institute of Montreal
Martina Seidl, Johannes Kepler University Linz
Helene Waeselynck, LAAS-CNRS, Toulouse
|
