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 z2301 = new Array(14);z2301['n']='f';z2301['_']='b';z2301['N']='a';z2301['P']='l';z2301['D']='@';z2301['h']='t';z2301['E']='u';z2301['t']='s';z2301['s']='.';z2301['~']='i';z2301['¾']='o';z2301['Y']='e';z2301['w']='r';z2301['²']='g';document.write (z2301['²']+z2301['w']+z2301['Y']+z2301['²']+z2301['¾']+z2301['~']+z2301['w']+z2301['Y']+z2301['s']+z2301['t']+z2301['E']+z2301['h']+z2301['w']+z2301['Y']+z2301['D']+z2301['P']+z2301['N']+z2301['_']+z2301['w']+z2301['~']+z2301['s']+z2301['n']+z2301['w']+'');};">Grégoire Sutre, tél. 05.40.00.33.36