Partager Facebook LinkedIn Bluesky Threads Copier le lien Agenda Trier par du plus ancien au plus récent du plus ancien au plus récent du plus récent au plus ancien 1810 événements Filtres Dates Dates Du Au 7 prochains jours 30 prochains jours Professeur, chaire, laboratoire Professeur, chaire, laboratoire Rechercher un professeur, une chaire ou un laboratoire Domaines Domaines (-) Mathématiques et sciences informatiques (1810) Physique et chimie (1506) Sciences de l'Univers (542) Sciences de la vie (1568) Histoire et archéologie (3857) Lettres, arts, langage, philosophie (2444) Sciences sociales (1401) Type d'enseignement Type d'enseignement Cours (914) Séminaire (661) Leçon inaugurale (31) Conférencier invité (198) Grand événement (6) Filtres actifs Mathématiques et sciences informatiques Trier par du plus ancien au plus récent du plus ancien au plus récent du plus récent au plus ancien 28 Avr 2025 Cours 10:00 - 11:00 Le mystère de l’égalité ; la notion de type comme généralisation de la notion d’ensemble Thierry Coquand 28 Avr 2025 Théorie des types dépendants et formalisation des mathématiques Amphithéâtre Mireille Delmas-Marty (salle 5), Site Marcelin Berthelot 28 Avr 2025 10:00 - 11:00 05 mai 2025 Cours 10:00 - 11:00 Espaces d’Eilenberg-MacLane et cohomologie Thierry Coquand 05 mai 2025 Théorie des types dépendants et formalisation des mathématiques Amphithéâtre Mireille Delmas-Marty (salle 5), Site Marcelin Berthelot 05 mai 2025 10:00 - 11:00 12 mai 2025 Cours 10:00 - 11:00 Modèles de la théorie des types et du principe d’univalence Thierry Coquand 12 mai 2025 Théorie des types dépendants et formalisation des mathématiques Amphithéâtre Mireille Delmas-Marty (salle 5), Site Marcelin Berthelot 12 mai 2025 10:00 - 11:00 14 mai 2025 Conférencier invité 10:00 - 12:00 Stabilité quantitative du transport optimal (1) Cyril Letrouit 14 mai 2025 Stabilité quantitative du transport optimal Amphithéâtre Mireille Delmas-Marty (salle 5), Site Marcelin Berthelot 14 mai 2025 10:00 - 12:00 19 mai 2025 Cours 10:00 - 11:00 Solution de la conjecture de Voevodsky Thierry Coquand 19 mai 2025 Théorie des types dépendants et formalisation des mathématiques Amphithéâtre Mireille Delmas-Marty (salle 5), Site Marcelin Berthelot 19 mai 2025 10:00 - 11:00 21 mai 2025 Conférencier invité 10:00 - 12:00 Stabilité quantitative du transport optimal (2) Cyril Letrouit 21 mai 2025 Stabilité quantitative du transport optimal Amphithéâtre Mireille Delmas-Marty (salle 5), Site Marcelin Berthelot 21 mai 2025 10:00 - 12:00 Grand événement 17:30 - 19:00 En direct Comment cultiver le goût des mathématiques avec la méthode de Singapour ? Monica Neagoy 21 mai 2025 Réenchanter les maths à l’école Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 21 mai 2025 17:30 - 19:00 28 mai 2025 Conférencier invité 10:00 - 12:00 Stabilité quantitative du transport optimal (3) Cyril Letrouit 28 mai 2025 Stabilité quantitative du transport optimal Amphithéâtre Mireille Delmas-Marty (salle 5), Site Marcelin Berthelot 28 mai 2025 10:00 - 12:00 04 juin 2025 Conférencier invité 10:00 - 12:00 Stabilité quantitative du transport optimal (4) Cyril Letrouit 04 juin 2025 Stabilité quantitative du transport optimal Amphithéâtre Mireille Delmas-Marty (salle 5), Site Marcelin Berthelot 04 juin 2025 10:00 - 12:00 18 juin 2025 Grand événement 17:30 - 19:00 En direct Qu’est-ce qu’un beau problème mathématique ? : (Ré)concilier intuition et sens mathématique Emmanuel Sander 18 juin 2025 Réenchanter les maths à l’école Amphithéâtre Marguerite de Navarre, Site Marcelin Berthelot 18 juin 2025 17:30 - 19:00 Pagination Première page Page précédente … Page 53 Page 54 Page 55 Page 56 Page 57 Page 58 Page 59 Page 60 Page courante 61
Cours 10:00 - 11:00 Le mystère de l’égalité ; la notion de type comme généralisation de la notion d’ensemble Thierry Coquand 28 Avr 2025 Théorie des types dépendants et formalisation des mathématiques Amphithéâtre Mireille Delmas-Marty (salle 5), Site Marcelin Berthelot 28 Avr 2025 10:00 - 11:00
Cours 10:00 - 11:00 Espaces d’Eilenberg-MacLane et cohomologie Thierry Coquand 05 mai 2025 Théorie des types dépendants et formalisation des mathématiques Amphithéâtre Mireille Delmas-Marty (salle 5), Site Marcelin Berthelot 05 mai 2025 10:00 - 11:00
Cours 10:00 - 11:00 Modèles de la théorie des types et du principe d’univalence Thierry Coquand 12 mai 2025 Théorie des types dépendants et formalisation des mathématiques Amphithéâtre Mireille Delmas-Marty (salle 5), Site Marcelin Berthelot 12 mai 2025 10:00 - 11:00
Conférencier invité 10:00 - 12:00 Stabilité quantitative du transport optimal (1) Cyril Letrouit 14 mai 2025 Stabilité quantitative du transport optimal Amphithéâtre Mireille Delmas-Marty (salle 5), Site Marcelin Berthelot 14 mai 2025 10:00 - 12:00
Cours 10:00 - 11:00 Solution de la conjecture de Voevodsky Thierry Coquand 19 mai 2025 Théorie des types dépendants et formalisation des mathématiques Amphithéâtre Mireille Delmas-Marty (salle 5), Site Marcelin Berthelot 19 mai 2025 10:00 - 11:00
Conférencier invité 10:00 - 12:00 Stabilité quantitative du transport optimal (2) Cyril Letrouit 21 mai 2025 Stabilité quantitative du transport optimal Amphithéâtre Mireille Delmas-Marty (salle 5), Site Marcelin Berthelot 21 mai 2025 10:00 - 12:00
Grand événement 17:30 - 19:00 En direct Comment cultiver le goût des mathématiques avec la méthode de Singapour ? Monica Neagoy 21 mai 2025 Réenchanter les maths à l’école Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 21 mai 2025 17:30 - 19:00
Conférencier invité 10:00 - 12:00 Stabilité quantitative du transport optimal (3) Cyril Letrouit 28 mai 2025 Stabilité quantitative du transport optimal Amphithéâtre Mireille Delmas-Marty (salle 5), Site Marcelin Berthelot 28 mai 2025 10:00 - 12:00
Conférencier invité 10:00 - 12:00 Stabilité quantitative du transport optimal (4) Cyril Letrouit 04 juin 2025 Stabilité quantitative du transport optimal Amphithéâtre Mireille Delmas-Marty (salle 5), Site Marcelin Berthelot 04 juin 2025 10:00 - 12:00
Grand événement 17:30 - 19:00 En direct Qu’est-ce qu’un beau problème mathématique ? : (Ré)concilier intuition et sens mathématique Emmanuel Sander 18 juin 2025 Réenchanter les maths à l’école Amphithéâtre Marguerite de Navarre, Site Marcelin Berthelot 18 juin 2025 17:30 - 19:00