Archives 2002-2003 du séminaire des élèves du DI

• première séance: Vincent Simonet, "Inférence de flots d'information pour Caml: de la théorie à la pratique", 5 novembre 2002;
• deuxième séance: Phong Nguyen (CNRS/LIENS), "À la recherche du plus court vecteur", 19 novembre 2002;
• troisième séance: Pierre Senellart, "Vérification automatique de multiplicateurs avec les *BMDs", 10 décembre 2002.
• quatrième séance: Alexis Saurin, "séance préparatoire à la séance sur le Système F", 14 janvier 2003.
• cinquième séance: Axelle Ziegler et Cédric Faure, "Atour du Système F", 28 janvier 2003.