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 19 é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 (19) Physique et chimie (50) Sciences de la vie (42) Histoire et archéologie (47) Lettres, arts, langage, philosophie (31) Sciences sociales (55) Type d'enseignement Type d'enseignement Cours (8) Conférencier invité (7) Grand événement (4) Filtres actifs À partir du 14/03/2025 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 17 Mar 2025 Cours 10:00 - 11:00 La théorie des types, de Russell à de Bruijn Thierry Coquand 17 Mar 2025 Théorie des types dépendants et formalisation des mathématiques Amphithéâtre Mireille Delmas-Marty (salle 5), Site Marcelin Berthelot 17 Mar 2025 10:00 - 11:00 19 Mar 2025 Grand événement 17:30 - 19:00 En direct Développer la culture de l'effort. Compétition et concours en mathématiques Pierre-Michel Menger 19 Mar 2025 Réenchanter les maths à l’école Amphithéâtre Marguerite de Navarre, Site Marcelin Berthelot 19 Mar 2025 17:30 - 19:00 20 Mar 2025 Conférencier invité 10:00 - 12:00 On Maximal Hypoellipticity and Sub-Riemannian Geometry (2) Omar Mohsen 20 Mar 2025 On Maximal Hypoellipticity and Sub-Riemannian Geometry Amphithéâtre Mireille Delmas-Marty (salle 5), Site Marcelin Berthelot 20 Mar 2025 10:00 - 12:00 24 Mar 2025 Cours 10:00 - 11:00 Déduction naturelle et modèles Thierry Coquand 24 Mar 2025 Théorie des types dépendants et formalisation des mathématiques Amphithéâtre Mireille Delmas-Marty (salle 5), Site Marcelin Berthelot 24 Mar 2025 10:00 - 11:00 27 Mar 2025 Conférencier invité 10:00 - 12:00 On Maximal Hypoellipticity and Sub-Riemannian Geometry (3) Omar Mohsen 27 Mar 2025 On Maximal Hypoellipticity and Sub-Riemannian Geometry Amphithéâtre Mireille Delmas-Marty (salle 5), Site Marcelin Berthelot 27 Mar 2025 10:00 - 12:00 31 Mar 2025 Cours 10:00 - 11:00 Univers, paradoxes et normalisation Thierry Coquand 31 Mar 2025 Théorie des types dépendants et formalisation des mathématiques Amphithéâtre Mireille Delmas-Marty (salle 5), Site Marcelin Berthelot 31 Mar 2025 10:00 - 11:00 02 Avr 2025 Grand événement 17:30 - 19:00 En direct Qu’est-ce qui change dans le cerveau lors de l’apprentissage des mathématiques ? Marie Amalric 02 Avr 2025 Réenchanter les maths à l’école Amphithéâtre Marguerite de Navarre, Site Marcelin Berthelot 02 Avr 2025 17:30 - 19:00 03 Avr 2025 Conférencier invité 10:00 - 12:00 On Maximal Hypoellipticity and Sub-Riemannian Geometry (4) Omar Mohsen 03 Avr 2025 On Maximal Hypoellipticity and Sub-Riemannian Geometry Amphithéâtre Mireille Delmas-Marty (salle 5), Site Marcelin Berthelot 03 Avr 2025 10:00 - 12:00 07 Avr 2025 Cours 10:00 - 11:00 Théorie des types et théorie des ensembles Thierry Coquand 07 Avr 2025 Théorie des types dépendants et formalisation des mathématiques Amphithéâtre Mireille Delmas-Marty (salle 5), Site Marcelin Berthelot 07 Avr 2025 10:00 - 11:00 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
Cours 10:00 - 11:00 La théorie des types, de Russell à de Bruijn Thierry Coquand 17 Mar 2025 Théorie des types dépendants et formalisation des mathématiques Amphithéâtre Mireille Delmas-Marty (salle 5), Site Marcelin Berthelot 17 Mar 2025 10:00 - 11:00
Grand événement 17:30 - 19:00 En direct Développer la culture de l'effort. Compétition et concours en mathématiques Pierre-Michel Menger 19 Mar 2025 Réenchanter les maths à l’école Amphithéâtre Marguerite de Navarre, Site Marcelin Berthelot 19 Mar 2025 17:30 - 19:00
Conférencier invité 10:00 - 12:00 On Maximal Hypoellipticity and Sub-Riemannian Geometry (2) Omar Mohsen 20 Mar 2025 On Maximal Hypoellipticity and Sub-Riemannian Geometry Amphithéâtre Mireille Delmas-Marty (salle 5), Site Marcelin Berthelot 20 Mar 2025 10:00 - 12:00
Cours 10:00 - 11:00 Déduction naturelle et modèles Thierry Coquand 24 Mar 2025 Théorie des types dépendants et formalisation des mathématiques Amphithéâtre Mireille Delmas-Marty (salle 5), Site Marcelin Berthelot 24 Mar 2025 10:00 - 11:00
Conférencier invité 10:00 - 12:00 On Maximal Hypoellipticity and Sub-Riemannian Geometry (3) Omar Mohsen 27 Mar 2025 On Maximal Hypoellipticity and Sub-Riemannian Geometry Amphithéâtre Mireille Delmas-Marty (salle 5), Site Marcelin Berthelot 27 Mar 2025 10:00 - 12:00
Cours 10:00 - 11:00 Univers, paradoxes et normalisation Thierry Coquand 31 Mar 2025 Théorie des types dépendants et formalisation des mathématiques Amphithéâtre Mireille Delmas-Marty (salle 5), Site Marcelin Berthelot 31 Mar 2025 10:00 - 11:00
Grand événement 17:30 - 19:00 En direct Qu’est-ce qui change dans le cerveau lors de l’apprentissage des mathématiques ? Marie Amalric 02 Avr 2025 Réenchanter les maths à l’école Amphithéâtre Marguerite de Navarre, Site Marcelin Berthelot 02 Avr 2025 17:30 - 19:00
Conférencier invité 10:00 - 12:00 On Maximal Hypoellipticity and Sub-Riemannian Geometry (4) Omar Mohsen 03 Avr 2025 On Maximal Hypoellipticity and Sub-Riemannian Geometry Amphithéâtre Mireille Delmas-Marty (salle 5), Site Marcelin Berthelot 03 Avr 2025 10:00 - 12:00
Cours 10:00 - 11:00 Théorie des types et théorie des ensembles Thierry Coquand 07 Avr 2025 Théorie des types dépendants et formalisation des mathématiques Amphithéâtre Mireille Delmas-Marty (salle 5), Site Marcelin Berthelot 07 Avr 2025 10:00 - 11:00
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