Annonces

[du 03/06/2009 au 04/06/2009] colloque en l'honneur de Chantal Berline : theorie des modeles et lambda-calcul, suivre le lien
[du 29/05/2008 au 06/06/2008] école des jeunes chercheurs en programmation (lien)
[29/11/2007] soutenance de thèse de Yann Régis-Gianas (annonce)
- titre : "Des types aux assertions logiques : preuve automatique ou assistée de propriétés sur les programmes fonctionnels."
- le jeudi 29 novembre 2007 à 14h30 en salle OC8 sur le site Chevaleret