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

Navigation

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

Participants

Thursday 13 October 2005. (English|français)
 


-  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, PhD student, LIPN;

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