Vendredi 13 juin 2008 à 10h30, Salle du Conseil, Loria
Jury
Hassan Aït-Kaci
Gilles Dowek
Jean-Louis Giavitto
Yves Caseau
Charles Consel
Claude Kirchner
Karl Tombre
Manuscrit : main.pdf
Recueil d'articles : sommaire.pdf
Transparents de la soutenances : hdr.pdf
Tom
ELAN (Compilateur)
CPL (Choice Point Library)
Java ATerm Library
Garbage collector of the ATerm Library