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

Navigation

Geocal’06

jeudi 12 janvier 2006.
L’équipe du projet geocal (géometrie du calcul) organise une rencontre de cinq semaines, deux d’écoles d’hiver, trois de workshop, à Marseille, début 2006.
Voir en ligne: Geocal’06.

Forum