Organization
The Model Checking Contest is organized by the following people.
General Chairs
- F. Kordon - Univ. P. & M.Curie, France
- D. Buchs - Univ. Geneva, Switzerland
Model Board
- H. Garavel - Inria - LIG, France
- L. Hillah - UPMC, France
- F. Kordon - Univ. P. & M.Curie, France
Formula Board
- L. Jezequel - Univ. Nantes, France
- E. Paviot-Adet - Univ. Paris V, France
- C. Rodríguez - Univ. Paris 13, France
Execution Monitoring Board
- F. Hulin-Hubard - ENS de Cachan, France
- F. Kordon - Univ. P. & M.Curie, France
Tool Board
- M. Beccuti - Univ. Torino, Italy
- M. Heiner - Univ. Cottbus, Germany
- N. Lohmann - Carmeq GmbH, Germany
- F. Pommereau - Univ. Evry, France
- C. Rohr - Univ. Cottbus, Germany
- J. Srba - Univ. Aalborg, Denmark