---------- Forwarded message ----------
From: Paul-Andre Mellies <[email protected]>
Date: 2014-04-24 14:28 GMT-03:00
Subject: [TYPES/announce] thematic trimester at IHP -- talks of the first
week online
To: [email protected]
[ 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 <[email protected]>
Hugo Herbelin <[email protected]>
Paul-André Melliès <[email protected]>
_______________________________________________
Logica-l mailing list
[email protected]
http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
