Ruslan Sadykov LIX Goubault Eric LIX/CEA Krob Daniel LIX Putot Sylvie LIX/CEA Rueher Michel ESSI, Université de Nice Moreau Pierre-Etienne INRIA Nancy, LORIA, équipe Protheo Cho Song Yean LIX Olarte Carlos LIX Bouissou Olivier LIX/CEA Gimbert Hugo LIX Nannicini Giacomo LIX Létocart Lucas LIPN, Paris 13 Durr Christophe LIX Jost Vincent INRIALPES Andronick June Formal Methods, GEMALTO, Meudon Nordh Gustav LIX Lassaigne Richard Equipe de Logique, Paris 7 Deluca Dorotea Université Dini, Florence Sourd Francis LIP6 Nguyen Alain RENAULT Gravot David ROSTUDEL Brenaut Jean-Philippe RENAULT Bricard Herve RENAULT Nucci Francesco Dep. of Innovation Engineering, Univ. de Lecce, Italie D'Ambrosio Claudia Universite de Bologne Gardi Frédéric BOUYGUES e-lab Benoist Thierry BOUYGUES e-lab Jeanjean Antoine BOUYGUES e-lab Marinelli Fabrizio LIX Kopetz Radu INRIA Nancy, LORIA, équipe Protheo Aranda Jesus LIX Hirschowitz Michel LIX/CEA Chapoutot Alexandre LIX/CEA Moy Yannick Universite Paris-Sud Deschinkel Karine Universite de Versailles Bounova Gergana MIT Dhyani Kanika Politecnico di Milano Ceselli Alberto Universita` di Milano Liberti Leo LIX Baptiste Philippe LIX Jouannaud Jean-Pierre LIX Messine Frederic ENSEEIHT, Toulouse