Monthly Archives: May, 2012
-
-
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 cannot be modelled using semirings because the associated algebraic structure is not distributive. Rather than attempting to compute globally optimal paths with.. ...
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 years, the emergence of effective protocol analyzers and expressive cryptographic models have enabled the proof of large cryptographic protocols, such as ...
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 framework to describe the implementation of algorithms and their proofs of correctness. Using such a tool to formalize computer algebra algorithms seems.. ...
More