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
• 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

Former members (hall of fame)

• L. Hillah - Univ. Paris Nanterre, France (model board)
• A. Linard - Inria/ENS de Cachan, France (formula board)
• C. Rodríguez - Univ. Paris 13, France (formula board)

Tool Board

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