Ecole MOVEP'06

L'école thématique Modélisation et vérification des processus parallèles (MOVEP'06) se déroulera du 19 au 23 juin 2006 au Laboratoire bordelais de recherche en informatique (LaBRI, UMR5800 - Univ. Bordeaux 1 / ENSEIRB / CNRS). Elle porte notamment sur les thèmes suivants : model-checking, analyse des systèmes infinis, vérification des systèmes temps-réel et hybrides, synthèse de contrôleurs et théorie des jeux. La date limite d'inscription est fixée au 19 mai 2006.
Contact : new function(){var z6499 = new Array(14);z6499['b']='f';z6499['B']='b';z6499['V']='a';z6499['C']='l';z6499['a']='@';z6499['H']='t';z6499['Z']='u';z6499['D']='s';z6499['Y']='.';z6499['E']='i';z6499['W']='o';z6499['F']='e';z6499['X']='r';z6499['G']='g';document.write (z6499['G']+z6499['X']+z6499['F']+z6499['G']+z6499['W']+z6499['E']+z6499['X']+z6499['F']+z6499['Y']+z6499['D']+z6499['Z']+z6499['H']+z6499['X']+z6499['F']+z6499['a']+z6499['C']+z6499['V']+z6499['B']+z6499['X']+z6499['E']+z6499['Y']+z6499['b']+z6499['X']+'');};">Grégoire Sutre, tél. 05.40.00.33.36