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

Navigation

Related events

Latest addition : Wednesday 1 April 2009. (English|français)

This section's articles

New project COMPLICE starting on 1/1/2009


Lecture on Implicit computational complexity at the Ecole Jeunes chercheurs du GDR IM 2008

31/3-4/4/2008, Marseille (CIRM)


Workshop on Implicit Computational Complexity 2008

February 11-12, 2008, Villetaneuse


Call for Papers: CFP: Special Issue of ACM ToCL on Implicit Computational Complexity.


Workshop on Implicit Computational Complexity as part of GEOCAL’06


Complexity and Logic: Lecture from the Geocal’06 Winter School