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
New project COMPLICE starting on 1/1/2009 !
Thursday 1 January 2009.
In the same section
Other news
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
January 2006
:
Geocal’06 session
October 2005
:
NO CoST accepted
This new ANR project COMPLICE (Implicit complexity, concurrency and extraction) follows the NO-CoST project and is running from 1/1/2009 to 31/12/2012.
See online:
site
.
Forum
