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

• Martin Gogolla, University of Bremen, Germany
• Burkhart Wolff, University Paris-Sud (Orsay), France

Publication Chair

• Gordon Fraser

Web Chair

• Lars Hamann

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