Projet NO CoST
New tools for complexity: semantics and types
Nouveaux outils pour la complexité : sémantique et types

Navigation

- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -

Participants

jeudi 13 octobre 2005. (français|English)
 


-  Patrick Baillot project leader, chargé de recherche CNRS, LIP ENS Lyon ;
-  Pierre Boudes maître de conférences, LIPN ;
-  Daniel de Carvalho , LORIA, Nancy ;
-  Paulin Jacobé de Naurois, chargé de recherche CNRS, LIPN ;
-  Olivier Laurent chargé de recherche CNRS, LIP ENS Lyon ;
-  Damiano Mazza, chargé de recherche CNRS, LIPN ;
-  Virgile Mogbil maître de conférences, LIPN ;
-  Jean-Yves Moyen, maître de conférences, LIPN ;

-  Vincent Atassi, Doctorant, LIPN ;

Anciens participants : Jean-Baptiste Bianquis, Ugo Dal Lago, Vincent Rahli, Kazushige Terui.