L'école thématique Modélisation et vérification des processusparallèles (MOVEP'06) sedéroulera du 19 au 23 juin 2006 au Laboratoirebordelais de recherche en informatique (LaBRI, UMR5800 - Univ.Bordeaux 1 / ENSEIRB / CNRS). Elle porte notamment sur les thèmessuivants : model-checking, analyse des systèmes infinis,vérification des systèmes temps-réel et hybrides, synthèse decontrôleurs et théorie des jeux. La date limite d'inscription estfixée au 19 mai 2006.
Contact : Grégoire Sutre, tél.05.40.00.33.36