Model Checking Contest @ PETRI NETS 2012

Hamburg, Germany, June 25-29 2012

• Models
  '.$models[$i].''; } ?>

Organization

The Model Checking Contest is organized by the following people.

General Chairs:

• D. Buchs - Univ. Geneva, Switzerland
• F. Kordon - UPMC, France

Technical Chairs:

• A. Linard - Univ. Geneva, Switzerland
• F. Pommereau - Univ. Evry, France

Dedicated Experts:

• PNML: L. Hillah - UPMC, France
• Cluster: N. Gibelin - UPMC, France

Contest Commitee:

It is composed with known expert in model checking tool strategies and development as well as the participants of MCC-2011 @ SUMo.

• G. Ciardo - Univ Riverside, USA
• M. Colange - UPMC, France
• A. Duret-Lutz - EPITA, France
• S. Evangelista - Univ. Paris 13, France
• G. Franceschinis - Univ Alessandria, Italy
• M. Heiner - Univ. Cottbus, Germany
• K. Lampka - ETHZ, Switzerland
• N. Lohmann - Univ. Rostock, Germany
• E. Paviot-Adet - UPMC, France
• W. Penczek - Univ. Podlasie, Poland
• Y. Thierry-Mieg - UPMC, France
• K. Wolf - Univ. Rostock, Germany