[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
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 <cur...@pps.univ-paris-diderot.fr>
Hugo Herbelin <herbe...@inria.fr>
Paul-André Melliès <mell...@pps.univ-paris-diderot.fr>
