Home
Conference
Program
Organization
Previous Editions
Keynote Speaker
Industrial Keynote Speaker
Proceedings
Call
Call for Papers
Important Dates
Submission
Participation
STAF
Registration
Venue
TAP 2016
by Frank Schmidtke
10th International Conference on Tests & Proofs
5-7 July 2016, Vienna, Austria
Organization
PC Chairs
Bernhard K. Aichernig
Carlo A. Furia
Program Committee
Bernhard K. Aichernig (chair)
Jasmin C. Blanchette
Achim D. Brucker
Catherine Dubois
Gordon Fraser
Carlo A. Furia (chair)
Juan Pablo Galeotti
Angelo Gargantini
Alain Giorgetti
Christoph Gladisch
Martin Gogolla
Arnaud Gotlieb
Ashutosh Gupta
Reiner Hähnle
Marieke Huisman
Bart Jacobs
Nikolai Kosmatov
Laura Kovacs
Shaoying Liu
Panagiotis Manolios
Karl Meinke
Brian Nielsen
Nadia Polikarpova
Andrew J. Reynolds
Augusto Sampaio
Martina Seidl
Jun Sun
Nikolai Tillmann
T. H. Tse
Margus Veanes
Burkhart Wolff
Steering Committee
Achim D. Brucker
, SAP SE, Karlsruhe, Germany
Catherine Dubois
, ENSIIE, Evry, France (chair)
Martin Gogolla
, University of Bremen, Germany
Jacques Julliand
, University of Besançon, France
Martina Seidl
, Johannes Kepler University, Linz, Austria
Nikolai Tillmann
, Microsoft Research, Redmond, USA
Margus Veanes
, Microsoft Research, Redmond, USA
Luca Viganò
, King's College London, UK
Burkhart Wolff
, University of Paris 11, Orsay, France