Organization

The Model Checking Contest is organized by the following people.

General Chairs:

• D. Buchs - Univ. Geneva, Switzerland
• F. Kordon - Univ. P. & M.Curie, France

Technical Chairs:

• A. Linard - Inria/ENS de Cachan, France
• F. Pommereau - Univ. Evry, France

Dedicated Experts:

• PNML: L. Hillah - UPMC, France
• Virtual Machines: F. Hulin-Hubard - ENS de Cachan, France

Contest Commitee:

It is composed with known expert in model checking tool strategies and development as well as the submitters of the previous editions. They are expected to validate choices, help in selecting model proposal and promote the contest.

• G. Ciardo - Univ. Riverside, USA
• M. Colange - UPMC, France
• S. Evangelista - Univ. Paris 13
• G. Franceschinis - Univ Alessandria, Italy
• L. Fronc - Univ. Evry, France
• M. Heiner - Univ. Cottbus, Germany
• K. Lampka - Univ. Uppsala, Sweden
• N. Lohmann - Univ. Rostock, Germany
• E. Paviot-Adet - UPMC, France
• W. Penczek - Univ. Podlasie, Poland
• C. Rohr - Univ. Cottbus, Germany
• Y. Tierry-Mieg - UPMC, France
• K. Wolf - Univ. Rostock, Germany