NO CoST project
New tools for complexity: semantics and types
Nouveaux outils pour la complexité : sémantique et types
Navigation
The site's hierarchy
Presentation
Post-Doc offer
Publications and reports
Internships
Working group : implicit complexity
Visitors
Related events
News items
January 2009
:
New project COMPLICE starting on 1/1/2009 !
December 2008
:
PhD defence of Vincent Atassi
November 2007
:
Workshop on Implicit Computational Complexity 2008
July 2006
:
Post-doc closed
May 2006
:
Post-Doc position available
Internships
Latest addition : Monday 8 January 2007.
(English|
français
)
This section's articles
2006-2007
Réseaux de preuves et circuits booléens
Garantie de Complexité pour des programmes impératifs et fonctionnels
2005-2006
Proof-nets and boolean circuits
Master’s 2 intership proposal, supervised by Virgile Mogbil, LIPN.
