We are happy to announce that the lectures of the first week of the thematic trimester 

« Semantics of Proofs and Certified Mathematics » 

are available online on the channel of the Institut Henri Poincaré:

Besides the keynote talks given during the kick-off meeting of the trimester:

Georges GONTHIER (Microsoft Research, Cambridge, and MSR-INRIA Joint Centre, Palaiseau)
Thomas HALES         (University of Pittsburgh)
Xavier LEROY         (INRIA Paris - Rocquencourt)
Vladimir VOEVODSKY (Institute for Advanced Study, Princeton)

two mini-courses of three hours each by 

Gérard BERRY (Collège de France)

Jean-Yves GIRARD (CNRS, Institut de Mathématiques de Luminy)

Pierre-Louis Curien <curien@pps.univ-paris-diderot.fr>

Hugo Herbelin <herbelin@inria.fr>

Paul-André Melliès <mellies@pps.univ-paris-diderot.fr>