[PT] thematic trimester at IHP -- talks of the first week available online

[Paul-Andre Mellies]

Dear colleagues,

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)

Hope that you enjoy the recordings,

The organizers,

Pierre-Louis Curien <curien-***@public.gmane.org>
Hugo Herbelin <herbelin-***@public.gmane.org>
Paul-André Melliès <mellies-***@public.gmane.org>