Header
TAP location images

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 Beckert, Karlsruhe Institute of Technology
  • Martina Seidl, Johannes Kepler University Linz
  • Achim D. Brucker, The University of Sheffield
  • Nikolai Kosmatov, CEA List, France
  • Martin Gogolla, University of Bremen
  • Arnaud Gotlieb, SIMULA Research Laboratory, Norway
  • Reiner Hähnle, TU Darmstadt
  • Alain Giorgetti, FEMTO-ST, University Franche-Comté
  • Jasmin Christian Blanchette, Vrije Universiteit Amsterdam
  • Chantal Keller, LRI, Université Paris-Sud
  • Angelo Gargantini, University of Bergamo
  • Bernhard K. Aichernig, TU Graz
  • Carlo A. Furia, Chalmers University of Technology
  • Helene Waeselynck, LAAS-CNRS, Toulouse
  • Rob Hierons, Brunel University London
  • Corina Pasareanu, CMU/NASA Ames Research Center
  • Moa Johansson, Chalmers University of Technology
  • Thierry Jéron, INRIA Rennes
  • Laura Kovacs, TU Wien
  • Karl Meinke, Royal Institute of Technology, Stockholm
  • Alexandre Petrenko, Computer Research Institute of Montreal
  • TAP footer image