[TYPES/announce] thematic trimester at IHP -- talks of the first week online

[Paul-Andre Mellies]

Dear colleagues,

We are happy to announce that the talks 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é:

https://www.youtube.com/watch?v=ONs_6TPe1bE&list=PL9kd4mpdvWcCUOrG5S7KrvOFDhyqnXoUj

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 at pps.univ-paris-diderot.fr>
Hugo Herbelin <herbelin at inria.fr>
Paul-André Melliès <mellies at pps.univ-paris-diderot.fr>

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.seas.upenn.edu/pipermail/types-announce/attachments/20140424/6c3b219d/attachment-0001.html>