Projet NO CoST
New tools for complexity: semantics and types
Nouveaux outils pour la complexité : sémantique et types
Navigation
Hiérarchie du site
Présentation
Offre de Post-Doc
Publications et rapports
Stages
Groupe de travail : complexité implicite
Visiteurs
Événements en rapport
Brèves
Avril 2009
:
Nouveau projet COMPLICE débutant au 1/1/2009 !
Novembre 2008
:
Soutenance de thèse de Vincent Atassi, le 2/12/08
Novembre 2007
:
Workshop on Implicit Computational Complexity 2008
Juillet 2006
:
Le post-doc a été attribué
Mai 2006
:
Offre de Post-Doc disponible
Nouveau projet COMPLICE débutant au 1/1/2009 !
mercredi 1er avril 2009.
Dans la même rubrique
Autres brèves
Novembre 2008
:
Soutenance de thèse de Vincent Atassi, le 2/12/08
Novembre 2007
:
Workshop on Implicit Computational Complexity 2008
Juillet 2006
:
Le post-doc a été attribué
Mai 2006
:
Offre de Post-Doc disponible
Janvier 2006
:
Geocal’06
Ce nouveau projet ANR intitulé COMPLICE (Complexité implicite, concurrence et extraction) prend la suite du projet NO-CoST et se déroulera du 1/1/2009 au 31/12/2012.
Voir en ligne:
lien
.
Forum
