Annonces

[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