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
• J. Meijer - Univ. Twente, Netherlands
• F. Pommereau - Univ. Evry, France
• C. Rohr - Univ. Cottbus, Germany
• J. Srba - Univ. Aalborg, Denmark