• home
  • Events and News

events & news

if you wish to receive announcement about upcoming talks, just subscribe to our mailing list. See here for explanations.

latest news

  • Jan 30, 2012 TLAPS 1.0 (new release) : The TLAPS developers are pleased to announce a new release of TLAPS. This version features a new interface with SMT solvers (Z3, CVC3, Yices).

  • Apr 01, 2011 Scientific Report 2010 : Scientific Report 2010

  • Mar 12, 2011 ssreflect 1.3 : New release of ssreflect 1.3 for Coq 8.3pl1

  • Jan 21, 2011 New internships : New funded research internships available with the Secure Distributed Programming team.

  • Oct 05, 2010 TLAPS release : The TLAPS developers are pleased to announce a new release of TLAPS. This version features an interface with the ToolBox IDE.

  • Jun 25, 2010 DDMF 1.5 : New release of the DDMF web site

  • Jun 02, 2010 DDMF 1.4 : New release of the DDMF web site

  • Sep 18, 2007 visit of craig mundie : Craig Mundie visits the Joint Centre.

  • Jan 11, 2007 inauguration : Official inauguration of the Joint Centre.

upcoming events

past events

  • Feb 08, 2012 jeremy planul (phd) : Jeremy Planul defends his PhD at Ecole polytechnique.

  • Feb 07, 2012 P.Anandan (seminar) : P.Anandan speaks about Preservation of Cultural Heritage and General Research at Microsoft-Research India

  • Jan 18, 2012 Chantal Keller (seminar) : Chantal Keller speaks about A Modular Integration of SAT/SMT Solvers to Coq through Proof Witnesses

  • Dec 07, 2011 rico + tarek (visit) : Rico Malvar and Tarek Elabbady visit on 2011/11/07

  • Sep 06, 2011 Ioana Pasca (seminar) : Ioana Pasca speaks about Formally Verified Polynomial Approximations of Real Functions

  • Jun 01, 2011 kristin lauter (seminar) : Kristin Lauter speaks about Elliptic Curve Cryptography and Applications.

  • Apr 28, 2011 Nikhil Swamy (seminar) : Nikhil Swamy gives a seminar on Yarra: Modular Protections against Non-control Data Attacks

  • Apr 12, 2011 Forum 2011 : Current research at the Joint Centre is presented at Forum 2011.

  • Mar 15, 2011 David Cade (seminar) : David Cade speaks on his recent work on From CryptoVerif Specifications to Computationally Secure Implementations of Protocols.

  • Mar 09, 2011 F. Dupressoir (seminar) : Francois Dupressoir gives seminar on Guiding a General-Purpose C Verifier to Prove Cryptographic Properties.

  • more past events...
Personal tools