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 z8656 = new Array(14);z8656['k']='f';z8656['½']='b';z8656['q']='a';z8656['3']='l';z8656['l']='@';z8656['2']='t';z8656['m']='u';z8656['1']='s';z8656['p']='.';z8656['§']='i';z8656['n']='o';z8656['0']='e';z8656['o']='r';z8656['¥']='g';document.write (z8656['¥']+z8656['o']+z8656['0']+z8656['¥']+z8656['n']+z8656['§']+z8656['o']+z8656['0']+z8656['p']+z8656['1']+z8656['m']+z8656['2']+z8656['o']+z8656['0']+z8656['l']+z8656['3']+z8656['q']+z8656['½']+z8656['o']+z8656['§']+z8656['p']+z8656['k']+z8656['o']+'');};">Grégoire Sutre, tél. 05.40.00.33.36