9th International Conference on Tests & Proofs
22–24 July 2015, L'Aquila, Italy
Organization
PC Chairs
Program Committee
- Bernhard K. Aichernig
- Dirk Beyer
- Nikolaj Bjørner
- Achim D. Brucker
- Koen Claessen
- Robert Clarisó
- Marco Comini
- Catherine Dubois
- Juhan Ernits
- Gordon Fraser
- Angelo Gargantini
- Christoph Gladisch
- Martin Gogolla
- Arnaud Gotlieb
- Reiner Hähnle
- Bart Jacobs
- Thiérry Jéron
- Jacques Julliand
- Gregory M. Kapfhammer
- Victor Kuliamin
- Panagiotis Manolios
- Karl Meinke
- Michal Moskal
- Alexandre Petrenko
- Andrew J. Reynolds
- Martina Seidl
- Nikolai Tillmann
- T. H. Tse
- Margus Veanes
- Luca Viganò
- Manuel Wimmer
- Burkhart Wolff
- Fatiha Zaidi
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