Une conférence pendant les journées scientifiques des Archives Henri Poincaré 2023, 19-20 janvier 2023, Collège Doctoral Européen à Strasbourg. (résumé)(programme)
December 22, 2022
Le calcul des problèmes de Kolmogorov et sa postérité
Comments Off on Le calcul des problèmes de Kolmogorov et sa postérité
December 15, 2022
Univalent Foundations and Applied Mathematics
Talk at the Topos Institute Colloquium; December 15, 2022 (abstract) (slides)(youtube video)
Comments Off on Univalent Foundations and Applied Mathematics