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

• P. Bouvier - Inria - LIG, France
• 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 Sorbonne Université, France
• F. Kordon - Sorbonne Université, France

Tool Board

The too board is composed of the developers who submitted a tool in 2020. They are invited to provide advice and feed-back until the rules for 2021 are adopted and the call for tool participation is launched.