Choco
Bienvenue sur le site du projet ANR Choco!
Présentation
Quelques informations factuelles et textes de présentation en anglais:
Un numéro spécial de MSCS qui nous concerne est en préparation.
À venir:
Séminaire le 11 février 2010 à l'ENS Lyon
Orateurs:
- Kazushige Terui (NII, Tokyo)
- Marco Gaboardi (Turin), New logical and semantic tools for stream program analysis.
- Lorenzo Tortora de Falco (Rome)
- Damien Pous (LIG, Grenoble), Structures algébriques typées et coloriage en logique linéaire cyclique.
Pendant la semaine, au même endroit, se déroule une école de Sémantique de jeux et logique linéaire.
Séminaire le 11 mars 2010 à l'ENS Lyon
En préparation
Orateurs:
- Martin Hofmann (Munich)
- Luís Caires (Lisbonne)
- Ugo Dal Lago (Bologne)
Voir aussi les archives.
