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 914 é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 (914) Physique et chimie (667) Sciences de l'Univers (336) Sciences de la vie (914) Histoire et archéologie (2124) Lettres, arts, langage, philosophie (1421) Sciences sociales (800) 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 Cours Trier par du plus ancien au plus récent du plus ancien au plus récent du plus récent au plus ancien 29 jan 2025 Cours 09:30 - 11:00 Génération de données en IA par transport et débruitage (3) Stéphane Mallat 29 jan 2025 Génération de données en IA par transport et débruitage Amphithéâtre Marguerite de Navarre, Site Marcelin Berthelot 29 jan 2025 09:30 - 11:00 05 fév 2025 Cours 09:30 - 11:00 Génération de données en IA par transport et débruitage (4) Stéphane Mallat 05 fév 2025 Génération de données en IA par transport et débruitage Amphithéâtre Marguerite de Navarre, Site Marcelin Berthelot 05 fév 2025 09:30 - 11:00 12 fév 2025 Cours 09:30 - 11:00 Génération de données en IA par transport et débruitage (5) Stéphane Mallat 12 fév 2025 Génération de données en IA par transport et débruitage Amphithéâtre Marguerite de Navarre, Site Marcelin Berthelot 12 fév 2025 09:30 - 11:00 26 fév 2025 Cours 09:30 - 11:00 Génération de données en IA par transport et débruitage (6) Stéphane Mallat 26 fév 2025 Génération de données en IA par transport et débruitage Amphithéâtre Marguerite de Navarre, Site Marcelin Berthelot 26 fév 2025 09:30 - 11:00 05 Mar 2025 Cours 09:30 - 11:00 Génération de données en IA par transport et débruitage (7) Stéphane Mallat 05 Mar 2025 Génération de données en IA par transport et débruitage Amphithéâtre Marguerite de Navarre, Site Marcelin Berthelot 05 Mar 2025 09:30 - 11:00 12 Mar 2025 Cours 09:30 - 11:00 Génération de données en IA par transport et débruitage (8) Stéphane Mallat 12 Mar 2025 Génération de données en IA par transport et débruitage Amphithéâtre Marguerite de Navarre, Site Marcelin Berthelot 12 Mar 2025 09:30 - 11:00 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 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 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 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 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 Pagination Première page Page précédente … Page 23 Page 24 Page 25 Page 26 Page 27 Page 28 Page 29 Page 30 Page courante 31
Cours 09:30 - 11:00 Génération de données en IA par transport et débruitage (3) Stéphane Mallat 29 jan 2025 Génération de données en IA par transport et débruitage Amphithéâtre Marguerite de Navarre, Site Marcelin Berthelot 29 jan 2025 09:30 - 11:00
Cours 09:30 - 11:00 Génération de données en IA par transport et débruitage (4) Stéphane Mallat 05 fév 2025 Génération de données en IA par transport et débruitage Amphithéâtre Marguerite de Navarre, Site Marcelin Berthelot 05 fév 2025 09:30 - 11:00
Cours 09:30 - 11:00 Génération de données en IA par transport et débruitage (5) Stéphane Mallat 12 fév 2025 Génération de données en IA par transport et débruitage Amphithéâtre Marguerite de Navarre, Site Marcelin Berthelot 12 fév 2025 09:30 - 11:00
Cours 09:30 - 11:00 Génération de données en IA par transport et débruitage (6) Stéphane Mallat 26 fév 2025 Génération de données en IA par transport et débruitage Amphithéâtre Marguerite de Navarre, Site Marcelin Berthelot 26 fév 2025 09:30 - 11:00
Cours 09:30 - 11:00 Génération de données en IA par transport et débruitage (7) Stéphane Mallat 05 Mar 2025 Génération de données en IA par transport et débruitage Amphithéâtre Marguerite de Navarre, Site Marcelin Berthelot 05 Mar 2025 09:30 - 11:00
Cours 09:30 - 11:00 Génération de données en IA par transport et débruitage (8) Stéphane Mallat 12 Mar 2025 Génération de données en IA par transport et débruitage Amphithéâtre Marguerite de Navarre, Site Marcelin Berthelot 12 Mar 2025 09:30 - 11: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
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
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
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
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