Organization

The Model Checking Contest is organized by the following people.

General Chair

• S. Dal Zilio - CNRS-LAAS, France
• F. Kordon - Sorbonne Université, France

Model Board

• S. Dal Zilio - CNRS-LAAS, France
• Q. Nivon - Carl von Ossietzky University of Oldenburg, Germany

Formula Board

• E. Paviot-Adet - Univ. Paris-Cité, France

Execution Monitoring Board

• F. Hulin-Hubard - CNRS and Sorbonne Université, France
• F. Kordon - Sorbonne Université, France

Former members (hall of fame)

• P. Bouvier - Kalray S.A, France (model board, 2021-2024)
• D. Buchs - Univ. Geneva, Switzerland (general chair, 2011-2022)
• L. Hillah - Univ. Paris Nanterre, France (model board, 2012-2021)
• H. Garavel - Inria - LIG, France (model board, 2014-2024)
• L. Jezequel - Univ. Nantes, France (model board, 2015-2025)
• A. Linard - Inria/ENS de Cachan, France (formula board, 2012-2015)
• C. Rodríguez - Univ. Paris 13, France (formula board, 2015-2017)

Tool Board

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