There will be lectures and other activities by twelve international researchers, each a recognized authority within their field:

Finite-state model checking

• Keijo Heljanko, Aalto University, Finland
• Alessandro Cimatti, Istituto per la Ricerca Scientifica e Tecnologica, Trento, Italy
• Pierre Wolper, Université de Liege, Belgium

Real-time model checking

• Nicolas Markey, École Normale Supérieure de Cachan, France
• Patricia Bouyer-Decitre, École Normale Supérieure de Cachan, France
• Kim G. Larsen, Aalborg University, Denmark

Probabilistic model checking

• Joost-Pieter Katoen, RWTH Aachen, Germany
• Christel Baier, TU Dresden, Germany
• David Parker, University of Oxford, UK

Hybrid model checking

• Martin Fränzle, Universität Oldenburg, Germany
• Jean-François Raskin, Université Libre de Bruxelles, Belgium
• Goran Frehse, Université Joseph Fourier Grenoble 1, France

Réalisation Axome - Création de sites Internet