Bourbaki seminar online
Whenever I can, I like to attend the Bourbaki Seminar in Paris, but that’s not always feasible.
Of course, even without being present, the written text of the seminar is always available later to learn what the talks were about. But, especially when the subject is not close to something I know, it’s often much better to have seen first a one-hour presentation which distills the most important information, which may well be a bit hidden in the written text for non-specialists. So it is rather wonderful to see that, since last March, the lectures of the Bourbaki seminar are recorded and made available on Youtube on the channel of the Institut Henri Poincaré.
Here is the playlist for the March seminars, with lectures by Golse (on Bolztmann’s equation), Bolthausen (spin glasses), Benoist (curves on K3 surfaces) and myself (guess…), and here that of last Saturday, with lectures by A. Valette (the Kadison-Singer problem), Smulevici (general relativity), Hales (formal proofs) and Coquand (dependent type theory and univalent foundations; with Voevodsky, who was present, explaining at the end his choice of the word “univalent”).
The links to the videos (as well as links to the texts) can also be found on the web page of Bourbaki.
(There was also mention that the seminar was streamed as it happened, but I don’t know if that’s really the case; if yes, will fashionable bars in Manhattan and Princeton start opening at 4 A.M. on selected Saturdays to offer croissants, coffee, cognac, and the Bourbaki talks?)