Organization

The Model Checking Contest is organized by the following people.

General Chairs

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

Expert Board

• H. Garavel - Inria - LIG, France
• L. Hillah - UPMC, France
• F. Hulin-Hubard - ENS de Cachan, France
• F. Kordon - Univ. P. & M.Curie, France
• A. Linard - Inria/ENS de Cachan, France
• F. Pommereau - Univ. Evry, France

Contest Committee

• M. Beccuti - Univ. Torino, Italy
• L. Fronc - Univ. Evry, France
• M. Heiner - Univ. Cottbus, Germany
• N. Lohmann - Univ. Rostock, Germany
• E. Paviot-Adet - Univ. P. & M.Curie, France, France
• C. Rohr - Univ. Cottbus, Germany
• K. Wolf - Univ. Rostock, Germany