Last year I had to cancel my presentation at the Collège de France due to a covid infection. Fortunately, I get another chance this year! It will be on October 16th at 14.00, all welcome 🙂
https://www.college-de-france.fr/fr/agenda/seminaire/la-philosophie-de-la-pratique-des-mathematiques/dialogical-account-of-proofs-in-mathematical-practice