Co-located with:
Sponsored by:
Conference Chairs
- Yuri Gurevich, Microsoft Research, USA
- Bertrand Meyer, ETH Zürich, Switzerland
Program Chairs
- Gordon Fraser, Saarland University, Germany
- Angelo Gargantini, University of Bergamo, Italy
Program Committee
- Bernhard K. Aichernig, Graz University of Technology, Austria
- Paul Ammann, George Mason University, USA
- Bernhard Beckert, University of Koblenz, Germany
- Dirk Beyer, Simon Fraser University, Canada
- Koen Claessen, Chalmers University of Technology, Sweden
- John A. Clark, University of York, UK
- Catherine Dubois, ENSIIE, Evry, France
- Carlo Furia, ETH Zürich, Switzerland
- Patrice Godefroid, Microsoft Research, USA
- Martin Gogolla, University of Bremen, Germany
- Arnaud Gotlieb, IRISA, France
- Reiner Haehnle, Chalmers University of Technology, Sweden
- Bart Jacobs, Katholieke Universiteit Leuven, Belgium
- Gregory M. Kapfhammer, Allegheny College, USA
- Victor Kuliamin, Russain Academy of Sciences, Russia
- Karl Meinke, KTH Royal Institute of Technology, Sweden
- Manuel Nunez, Universidad Complutense de Madrid, Spain
- Sam Owre, SRI International, USA
- Doron Peled, Bar Ilan University, Israel
- Wolfram Schulte, Microsoft Research, USA
- Yannis Smaragdakis, University of Massachusetts, USA
- Assia Touil, Supélec, France
- T.H. Tse, University of Hong Kong, China
