Enseignement

 

2cycle

• MMMFAI (Magistère de mathématiques fondamentales et appliquées et d'informatique, ENS Ulm)
  Y. Caseau, G. Castagna, G. Cousineau, P. Cousot, R. Di Cosmo, F. Fages [360], M. Fernández, É. Goubault, F. Laburthe, M. Laurent, P. Matherat, B. Monsuez, M. Pocchiola, P. Ruet, J. Stern, S. Vaudenay, F. Védrine.
• École Polytechnique
  P. Cousot, R. Cridlig, F. Fages [361], É. Goubault, L. Mauborgne, B. Monsuez, P. Ruet, S. Vaudenay.
• ISIA, École des Mines de Paris, Sophia-Antipolis
  F. Fages.
• ENSTA
  R. Cridlig, É. Goubault, F. Védrine.
• IMAC (3ème année d'école d'ingénieur)
  D. Pointecheval

3cycle

• DEA IMA 93/94 (École Polytechnique, ENS, Universités Paris VI, VII, XI, en convention avec l'INRIA)
  P. Cousot, M. Pocchiola, J. Stern
• DEA IMA 94/95
  P. Cousot, J.-M. Couveignes, F. Fages, M. Pocchiola, J. Stern
• DEA Algorithmique 95/96 et 96/97 (École Polytechnique, ENS Ulm, ENS Cachan, Universités Paris VI, VII, XI, en convention avec l'INRIA)
  J.-M. Couveignes, M. Pocchiola, J. Stern
• DEA SPP 95/96 (Sémantique, Preuves er Programmation, ENS, CNAM, Universités Paris VI, XI)
  G. Castagna, P.-L. Curien, R. Di Cosmo, F. Fages, G. Longo
• DEA SPP 96/97
  G. Castagna, P.-L. Curien, R. Di Cosmo F. Fages, P. Ruet, G. Longo
• DEA Informatique 95/96 et 96/97 (Universités Paris XI, XII, ENS Cachan, Sup'Elec)
  G. Castagna
• DEA Théorie et Ingénierie des Bases de Données à partir de 93 (Universités Paris I - Paris XI) G. Castagna (co-responsable)
• DEA IFA 95/96 et 96/97 (Université de Marne-la-Vallée)
  M. Pocchiola
• DESS Génie Informatique 93/94 à 96/97 (Paris XIII)
  C. Codognet
• DESS Univ. Caen 96/97
  D. Pointcheval
• ENST (3ème année)
  P. Matherat