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

Navigation

New project COMPLICE starting on 1/1/2009 !

Thursday 1 January 2009.
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