Monthly Archives: November, 2007

29 November 2007
Talk by Sebastien Briais, ENS Lyon
A formalisation of the spi calculus in Coq Sébastien Briais Plume Team, ENS Lyon Thursday, 29 November 2007 10h30 – 11h30 MSR-INRIA Joint Centre Firstly, I will recall the definition of the spi calculus (an extension of the pi calculus to reason about cryptographic ...
More
23 November 2007
Assia Mabhoubi gives seminar at INRIA Rocquencourt
Preuve formelle à grande échelle et réflexion à petite échelle Assia Mahboubi I N R I A – Rocquencourt Amphi Turing du bâtiment 1 Vendredi 23 novembre, 10h30 En 2004, G. Gonthier a achevé la preuve formelle du théorèmes des quatre couleurs dans ...
More
6 November 2007
4th meeting of Management Committee in 2007.