Conférence invitée : Christine Paulin

La deuxième conférence invitée était donnée par Christine Paulin (LRI, U. Paris XI) :

"Preuves formelles d'algorithmes probabilistes" (Les transparents seront prochainement disponibles sur ce site).