Organization

The Model Checking Contest is organized by the following people.

General Chairs

• F. Kordon - Sorbonne Université, France
• D. Buchs - Univ. Geneva, Switzerland

Model Board

• H. Garavel - Inria - LIG, France
• L. Hillah - Univ. Paris Nanterre, France
• F. Kordon - Sorbonne Université, France;

Formula Board

• L. Jezequel - Univ. Nantes, France
• E. Paviot-Adet - Univ. Paris V, France

Execution Monitoring Board

• F. Hulin-Hubard - CNRS and ENS de Cachan, France
• F. Kordon - Sorbonne Université, 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