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
Stages
Dernier ajout : lundi 8 janvier 2007.
(français|
English
)
Articles de cette rubrique
2006-2007
Garantie de Complexité pour des programmes impératifs et fonctionnels
Réseaux de preuves et circuits booléens
2005-2006
Réseaux de preuves et circuits booléens
Proposition de stage de master 2, sous la direction de Virgile Mogbil, au LIPN.
