Next:
Groupe de Recherche en
Up:
No Title
Previous:
Présentation de l'unité
Activité scientifique des équipes
Groupe de Recherche en Complexité et Cryptographie
Lambda-calcul typé et langages fonctionnels
Sémantique et Interprétation Abstraite
Langages Logiques, Contraintes et Optimisation
Optimisation et Algorithmique Géométriques
Logique et Physique
Spécifications algébriques et Programmation logique
Louis.Granboulan@ens.fr