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

• May 04, 2012 K. Bhargavan (HDR) : Karthikeyan Bhargavan defends his HDR (Habilitation)

past events

• May 09, 2012 Tim. Griffin (seminar) : Timothy Griffin speaks about Routing in Equilibrium (with help from ssreflect)

• May 03, 2012 M. Denes (seminar) : Maxime Denes speaks about Effective algebra with Coq and SSReflect.

• Apr 04, 2012 JJ retirement (rocq) : Cocktails party at Rocquencourt to celebrate retirement of Jean-Jacques Levy

• Mar 28, 2012 G. Gonthier awarded : Georges Gonthier is awarded of the "Grand Prix de la fondation EADS", 28 March 2012

• Feb 29, 2012 Tony Hey (visit) : Tony Hey visit on 2012/02/29

• 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

• more past events...