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