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

Navigation

Événements en rapport

Dernier ajout : mercredi 1er avril 2009. (français|English)

Articles de cette rubrique

Nouveau projet ANR COMPLICE commençant au 1/1/2009


Cours de complexité implicite à l’Ecole Jeunes chercheurs du GDR IM 2008

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


Workshop on Implicit Computational Complexity 2008

Février 11-12, 2008, Villetaneuse


Appel à soumission : numéro spécial de ACM ToCL sur la complexité implicite.


Complexité et logique : cours de l’école d’hiver de GEOCAL’06.


Workshop sur la complexité implicite, dans le cadre de GEOCAL’06 (en)