Gérard Huet

Défis scientifiques du Traitement Informatique de la Langue

Roberto di Cosmo

Isomorphismes de types. Ou comment la the'orie des nombres peut aider a` la recherche de composantes logicielles

Philippe Schnoebelen

Problèmes de terminaison

Olivier Temam

Architecture des processeurs actuels et futurs

Anca Muscholl

Jeux et calcul

Olivier Gascuel

Bio-informatique: problèmes, enjeux, méthodes et algorithmes

Jean Goubault-Larrecq

Pirates et sécurité: la logique à la rescousse

Claire Kenyon

Algorithmes d'approximation pour l'optimisation combinatoire

---

Contacter le Département Informatique
Dernières modifications : le 10/11/2008