Header
TAP location images

5th International Conference on Tests & Proofs

Zurich, June 30 - July 01, 2011

Part of the TOOLS Federated Conferences 2011

Conference Chairs

  • Yuri Gurevich
  • Bertrand Meyer

Program Chairs

Publication Chair

  • Gordon Fraser

Web Chair

Program Committee

  • Nazareno Aguirre
  • Bernhard K. Aichernig
  • Paul Ammann
  • Benoit Baudry
  • Dirk Beyer
  • Nikolaj Bjoerner
  • Achim Brucker
  • Koen Claessen
  • Robert Clariso
  • John A. Clark
  • Marco Comini
  • Catherine Dubois
  • Gordon Fraser
  • Carlo Alberto Furia
  • Angelo Gargantini
  • Arnaud Gotlieb
  • Reiner Haehnle
  • Bart Jacobs
  • Thierry Jeron
  • Gregory Kapfhammer
  • Nikolai Kosmatov
  • Victor Kuliamin
  • Karl Meinke
  • Antoni Olive
  • Holger Schlingloff
  • T.H. Tse
  • Margus Veanes
  • Fatiha Zaidi
TAP footer image