MOVEP'02 Summer School

Home

PhD student session

PhD student bursaries

Tutorials, talks and programme

Organising and Programme committees

Registration

Accomodation

Sponsors

Contact

Previous MOVEP (2000)

Organisation

MOVEP'02 is organised by the following institutions:

• Institut de Recherche en Cybernetique de Nantes (IRCyN)
• Institut de Recherche en Informatique et Systèmes Aléatoires (IRISA)
• Laboratoire Spécification et Vérification (LSV)
• University of Birmingham

Organising Committee

• F. Cassez (IRCyN/CNRS, Nantes)
• C. Jard (IRISA/CNRS, Rennes)
• F. Laroussinie (LSV, ENS de Cachan)
• M. Ryan (U. Birmingham)

Scientific Committee

• H. Alla (LAG, F)
• A. Arnold (LaBRI, F)
• A. Benveniste (IRISA, F)
• A. Bouajjani (LIAFA, Paris, F)
• E. Brinksma (U. of Twente, NL)
• P. Caspi (VERIMAG, Grenoble, F)
• A. Cimatti (IRST, I)
• J. Esparza (TU. of Muenchen, G)
• M. Kwiatkowska (Univ. Birmingham)
• K.G. Larsen (BRICS-Aalborg, DK)
• S. Merz (U. of München, G)
• J. Mullins (Ecole Polytechnique de Montréal)
• A. Petit (LSV, Cachan, F)
• O. Roux (IRCCyN, Nantes, F)
• B. Rozoy (LRI, Orsay, F)
• J. Rushby (SRI, USA) (not yet confirmed)
• R. Valette (LAAS-CNRS, Toulouse, F)
• A. Valmari (Tampere, U. of Tech.,Fin)