Monthly Archives: May, 2012

Share:
A A
9 May 2012
Timothy Griffin speaks about Routing in Equilibrium (with help from ssreflect)
Wednesday 9 May 2012, 11h Bldg I, 1st floor Microsoft Research - Inria Joint Centre Parc Orsay UniversitéRouting in Equilibrium (with help from ssreflect) Timothy G. Griffin , University of CambridgeSome path problems ... More
4 May 2012
Karthikeyan Bhargavan defends his HDR (Habilitation)
Friday 4 May 2012, 11h Salle W, École Normale Supérieure 45, rue d’Ulm, 75005 — ParisTowards the Automated Verification of Cryptographic Protocol Implementations Karthikeyan Bhargavan INRIA — Paris Rocquencourt Abstract: In recent ... More
3 May 2012
Maxime Denes speaks about Effective algebra with Coq and SSReflect.
Bldg I, 1st floor Microsoft Research - Inria Joint Centre Parc Orsay Université Effective algebra with Coq and SSReflect Maxime Dénès (Marelle research team) Inria Sophia-Antipolis Proof assistants like Coq provide a unified ... More