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 22 jan 2021 Cours 09:00 - 11:00 Premières valeurs et fonctions propres (9) Pierre-Louis Lions 22 jan 2021 Premières valeurs et fonctions propres Amphithéâtre Mireille Delmas-Marty (salle 5), Site Marcelin Berthelot 22 jan 2021 09:00 - 11:00 25 jan 2021 Cours 10:00 - 12:00 Probabilité (I) : utiliser la moyenne et le moment de second ordre Timothy Gowers 25 jan 2021 Outils de la combinatoire 25 jan 2021 10:00 - 12:00 27 jan 2021 Cours 09:30 - 11:00 Grande dimension et composantes principales Stéphane Mallat 27 jan 2021 Représentations parcimonieuses Amphithéâtre Marguerite de Navarre, Site Marcelin Berthelot 27 jan 2021 09:30 - 11:00 01 fév 2021 Cours 10:00 - 12:00 Probabilité (II) : la concentration de la mesure en grande dimension Timothy Gowers 01 fév 2021 Outils de la combinatoire 01 fév 2021 10:00 - 12:00 03 fév 2021 Cours 09:30 - 11:00 Approximations non linéaires et réseaux de neurones Stéphane Mallat 03 fév 2021 Représentations parcimonieuses Amphithéâtre Marguerite de Navarre, Site Marcelin Berthelot 03 fév 2021 09:30 - 11:00 08 fév 2021 Cours 10:00 - 12:00 Analyse : la transformation de Fourier discrète et ses applications Timothy Gowers 08 fév 2021 Outils de la combinatoire 08 fév 2021 10:00 - 12:00 10 fév 2021 Cours 09:30 - 11:00 Ondelettes et échantillonnage Stéphane Mallat 10 fév 2021 Représentations parcimonieuses Amphithéâtre Marguerite de Navarre, Site Marcelin Berthelot 10 fév 2021 09:30 - 11:00 15 fév 2021 Cours 10:00 - 12:00 Entropie : comment l'utiliser pour obtenir des bornes sur la taille d'un ensemble Timothy Gowers 15 fév 2021 Outils de la combinatoire 15 fév 2021 10:00 - 12:00 17 fév 2021 Cours 09:30 - 11:00 Multirésolutions Stéphane Mallat 17 fév 2021 Représentations parcimonieuses Amphithéâtre Marguerite de Navarre, Site Marcelin Berthelot 17 fév 2021 09:30 - 11:00 22 fév 2021 Cours 10:00 - 12:00 Algèbre (I) : applications de l'algèbre linéaire Timothy Gowers 22 fév 2021 Outils de la combinatoire 22 fév 2021 10:00 - 12:00 01 Mar 2021 Cours 10:00 - 12:00 Algèbre (II) : la méthode des polynômes Timothy Gowers 01 Mar 2021 Outils de la combinatoire 01 Mar 2021 10:00 - 12:00 03 Mar 2021 Cours 09:30 - 11:00 Bases orthonormales d'ondelettes Stéphane Mallat 03 Mar 2021 Représentations parcimonieuses Amphithéâtre Marguerite de Navarre, Site Marcelin Berthelot 03 Mar 2021 09:30 - 11:00 04 Mar 2021 Cours 09:30 - 11:00 Comment raisonner sur un logiciel ? La naissance des logiques de programmes Xavier Leroy 04 Mar 2021 Logiques de programmes : quand la machine raisonne sur ses logiciels Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 04 Mar 2021 09:30 - 11:00 10 Mar 2021 Cours 09:30 - 11:00 Parcimonie et compression d'images Stéphane Mallat 10 Mar 2021 Représentations parcimonieuses Amphithéâtre Marguerite de Navarre, Site Marcelin Berthelot 10 Mar 2021 09:30 - 11:00 11 Mar 2021 Cours 09:30 - 11:00 Variables et boucles : la logique de Hoare Xavier Leroy 11 Mar 2021 Logiques de programmes : quand la machine raisonne sur ses logiciels Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 11 Mar 2021 09:30 - 11:00 Séminaire 11:15 - 12:15 Les logiques de programmes à l'épreuve du réel : tours et détours avec Frama-C/WP Loïc Correnson 11 Mar 2021 Logiques de programmes : quand la machine raisonne sur ses logiciels Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 11 Mar 2021 11:15 - 12:15 18 Mar 2021 Cours 09:30 - 11:00 Pointeurs et structures de données : la logique de séparation Xavier Leroy 18 Mar 2021 Logiques de programmes : quand la machine raisonne sur ses logiciels Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 18 Mar 2021 09:30 - 11:00 Séminaire 11:15 - 12:15 Preuve auto-active de programmes en SPARK Yannick Moy 18 Mar 2021 Logiques de programmes : quand la machine raisonne sur ses logiciels Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 18 Mar 2021 11:15 - 12:15 25 Mar 2021 Cours 09:30 - 11:00 Parallélisme à mémoire partagée : la logique de séparation concurrente Xavier Leroy 25 Mar 2021 Logiques de programmes : quand la machine raisonne sur ses logiciels Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 25 Mar 2021 09:30 - 11:00 Séminaire 11:15 - 12:15 VeriFast: Semi-Automated Modular Verification of Concurrent C and Java Programs Using Separation Logic Bart Jacobs 25 Mar 2021 Logiques de programmes : quand la machine raisonne sur ses logiciels Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 25 Mar 2021 11:15 - 12:15 01 Avr 2021 Cours 09:30 - 11:00 Quelques extensions de la logique de séparation Xavier Leroy 01 Avr 2021 Logiques de programmes : quand la machine raisonne sur ses logiciels Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 01 Avr 2021 09:30 - 11:00 Séminaire 11:15 - 12:15 Raisonner à propos du temps en logique de séparation François Pottier 01 Avr 2021 Logiques de programmes : quand la machine raisonne sur ses logiciels Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 01 Avr 2021 11:15 - 12:15 Leçon inaugurale 18:00 - 19:00 Algorithmes quantiques : quand la physique quantique défie la thèse de Church-Turing Frédéric Magniez 01 Avr 2021 Amphithéâtre Marguerite de Navarre, Site Marcelin Berthelot 01 Avr 2021 18:00 - 19:00 02 Avr 2021 Cours 14:00 - 16:00 Fibrés avec structure additionnelle sur une courbe Bảo Châu Ngô 02 Avr 2021 Dualité des fibrations de Hitchin et endoscopie 02 Avr 2021 14:00 - 16:00 07 Avr 2021 Cours 10:00 - 11:30 Information quantique, premières utilisations calculatoires : superposition, mesure, transformation, non-clonage, distribution quantique de clés, téléportation Frédéric Magniez 07 Avr 2021 Algorithmes quantiques Amphithéâtre Mireille Delmas-Marty (salle 5), Site Marcelin Berthelot 07 Avr 2021 10:00 - 11:30 Séminaire 11:30 - 12:30 Réseaux de communication quantique Eleni Diamanti 07 Avr 2021 Algorithmes quantiques Amphithéâtre Mireille Delmas-Marty (salle 5), Site Marcelin Berthelot 07 Avr 2021 11:30 - 12:30 08 Avr 2021 Cours 09:30 - 11:00 Logiques pour la mémoire partagée faiblement cohérente Xavier Leroy 08 Avr 2021 Logiques de programmes : quand la machine raisonne sur ses logiciels Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 08 Avr 2021 09:30 - 11:00 Séminaire 11:15 - 12:15 Protocoles personnalisés en logique de séparation : ressources fantômes et invariants dans la logique Iris Jacques-Henri Jourdan 08 Avr 2021 Logiques de programmes : quand la machine raisonne sur ses logiciels Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 08 Avr 2021 11:15 - 12:15 09 Avr 2021 Cours 14:00 - 16:00 Espace de module des fibrés et la Grassmannienne affine Bảo Châu Ngô 09 Avr 2021 Dualité des fibrations de Hitchin et endoscopie 09 Avr 2021 14:00 - 16:00 14 Avr 2021 Cours 10:00 - 11:30 Cryptographie et communication quantiques : inégalités de Bell, tirage à pile ou face, mise en gage, certification Frédéric Magniez 14 Avr 2021 Algorithmes quantiques Amphithéâtre Mireille Delmas-Marty (salle 5), Site Marcelin Berthelot 14 Avr 2021 10:00 - 11:30 Pagination Première page Page précédente … Page 41 Page 42 Page 43 Page 44 Page courante 45 Page 46 Page 47 Page 48 Page 49 … Page suivante Dernière page
Cours 09:00 - 11:00 Premières valeurs et fonctions propres (9) Pierre-Louis Lions 22 jan 2021 Premières valeurs et fonctions propres Amphithéâtre Mireille Delmas-Marty (salle 5), Site Marcelin Berthelot 22 jan 2021 09:00 - 11:00
Cours 10:00 - 12:00 Probabilité (I) : utiliser la moyenne et le moment de second ordre Timothy Gowers 25 jan 2021 Outils de la combinatoire 25 jan 2021 10:00 - 12:00
Cours 09:30 - 11:00 Grande dimension et composantes principales Stéphane Mallat 27 jan 2021 Représentations parcimonieuses Amphithéâtre Marguerite de Navarre, Site Marcelin Berthelot 27 jan 2021 09:30 - 11:00
Cours 10:00 - 12:00 Probabilité (II) : la concentration de la mesure en grande dimension Timothy Gowers 01 fév 2021 Outils de la combinatoire 01 fév 2021 10:00 - 12:00
Cours 09:30 - 11:00 Approximations non linéaires et réseaux de neurones Stéphane Mallat 03 fév 2021 Représentations parcimonieuses Amphithéâtre Marguerite de Navarre, Site Marcelin Berthelot 03 fév 2021 09:30 - 11:00
Cours 10:00 - 12:00 Analyse : la transformation de Fourier discrète et ses applications Timothy Gowers 08 fév 2021 Outils de la combinatoire 08 fév 2021 10:00 - 12:00
Cours 09:30 - 11:00 Ondelettes et échantillonnage Stéphane Mallat 10 fév 2021 Représentations parcimonieuses Amphithéâtre Marguerite de Navarre, Site Marcelin Berthelot 10 fév 2021 09:30 - 11:00
Cours 10:00 - 12:00 Entropie : comment l'utiliser pour obtenir des bornes sur la taille d'un ensemble Timothy Gowers 15 fév 2021 Outils de la combinatoire 15 fév 2021 10:00 - 12:00
Cours 09:30 - 11:00 Multirésolutions Stéphane Mallat 17 fév 2021 Représentations parcimonieuses Amphithéâtre Marguerite de Navarre, Site Marcelin Berthelot 17 fév 2021 09:30 - 11:00
Cours 10:00 - 12:00 Algèbre (I) : applications de l'algèbre linéaire Timothy Gowers 22 fév 2021 Outils de la combinatoire 22 fév 2021 10:00 - 12:00
Cours 10:00 - 12:00 Algèbre (II) : la méthode des polynômes Timothy Gowers 01 Mar 2021 Outils de la combinatoire 01 Mar 2021 10:00 - 12:00
Cours 09:30 - 11:00 Bases orthonormales d'ondelettes Stéphane Mallat 03 Mar 2021 Représentations parcimonieuses Amphithéâtre Marguerite de Navarre, Site Marcelin Berthelot 03 Mar 2021 09:30 - 11:00
Cours 09:30 - 11:00 Comment raisonner sur un logiciel ? La naissance des logiques de programmes Xavier Leroy 04 Mar 2021 Logiques de programmes : quand la machine raisonne sur ses logiciels Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 04 Mar 2021 09:30 - 11:00
Cours 09:30 - 11:00 Parcimonie et compression d'images Stéphane Mallat 10 Mar 2021 Représentations parcimonieuses Amphithéâtre Marguerite de Navarre, Site Marcelin Berthelot 10 Mar 2021 09:30 - 11:00
Cours 09:30 - 11:00 Variables et boucles : la logique de Hoare Xavier Leroy 11 Mar 2021 Logiques de programmes : quand la machine raisonne sur ses logiciels Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 11 Mar 2021 09:30 - 11:00
Séminaire 11:15 - 12:15 Les logiques de programmes à l'épreuve du réel : tours et détours avec Frama-C/WP Loïc Correnson 11 Mar 2021 Logiques de programmes : quand la machine raisonne sur ses logiciels Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 11 Mar 2021 11:15 - 12:15
Cours 09:30 - 11:00 Pointeurs et structures de données : la logique de séparation Xavier Leroy 18 Mar 2021 Logiques de programmes : quand la machine raisonne sur ses logiciels Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 18 Mar 2021 09:30 - 11:00
Séminaire 11:15 - 12:15 Preuve auto-active de programmes en SPARK Yannick Moy 18 Mar 2021 Logiques de programmes : quand la machine raisonne sur ses logiciels Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 18 Mar 2021 11:15 - 12:15
Cours 09:30 - 11:00 Parallélisme à mémoire partagée : la logique de séparation concurrente Xavier Leroy 25 Mar 2021 Logiques de programmes : quand la machine raisonne sur ses logiciels Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 25 Mar 2021 09:30 - 11:00
Séminaire 11:15 - 12:15 VeriFast: Semi-Automated Modular Verification of Concurrent C and Java Programs Using Separation Logic Bart Jacobs 25 Mar 2021 Logiques de programmes : quand la machine raisonne sur ses logiciels Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 25 Mar 2021 11:15 - 12:15
Cours 09:30 - 11:00 Quelques extensions de la logique de séparation Xavier Leroy 01 Avr 2021 Logiques de programmes : quand la machine raisonne sur ses logiciels Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 01 Avr 2021 09:30 - 11:00
Séminaire 11:15 - 12:15 Raisonner à propos du temps en logique de séparation François Pottier 01 Avr 2021 Logiques de programmes : quand la machine raisonne sur ses logiciels Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 01 Avr 2021 11:15 - 12:15
Leçon inaugurale 18:00 - 19:00 Algorithmes quantiques : quand la physique quantique défie la thèse de Church-Turing Frédéric Magniez 01 Avr 2021 Amphithéâtre Marguerite de Navarre, Site Marcelin Berthelot 01 Avr 2021 18:00 - 19:00
Cours 14:00 - 16:00 Fibrés avec structure additionnelle sur une courbe Bảo Châu Ngô 02 Avr 2021 Dualité des fibrations de Hitchin et endoscopie 02 Avr 2021 14:00 - 16:00
Cours 10:00 - 11:30 Information quantique, premières utilisations calculatoires : superposition, mesure, transformation, non-clonage, distribution quantique de clés, téléportation Frédéric Magniez 07 Avr 2021 Algorithmes quantiques Amphithéâtre Mireille Delmas-Marty (salle 5), Site Marcelin Berthelot 07 Avr 2021 10:00 - 11:30
Séminaire 11:30 - 12:30 Réseaux de communication quantique Eleni Diamanti 07 Avr 2021 Algorithmes quantiques Amphithéâtre Mireille Delmas-Marty (salle 5), Site Marcelin Berthelot 07 Avr 2021 11:30 - 12:30
Cours 09:30 - 11:00 Logiques pour la mémoire partagée faiblement cohérente Xavier Leroy 08 Avr 2021 Logiques de programmes : quand la machine raisonne sur ses logiciels Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 08 Avr 2021 09:30 - 11:00
Séminaire 11:15 - 12:15 Protocoles personnalisés en logique de séparation : ressources fantômes et invariants dans la logique Iris Jacques-Henri Jourdan 08 Avr 2021 Logiques de programmes : quand la machine raisonne sur ses logiciels Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 08 Avr 2021 11:15 - 12:15
Cours 14:00 - 16:00 Espace de module des fibrés et la Grassmannienne affine Bảo Châu Ngô 09 Avr 2021 Dualité des fibrations de Hitchin et endoscopie 09 Avr 2021 14:00 - 16:00
Cours 10:00 - 11:30 Cryptographie et communication quantiques : inégalités de Bell, tirage à pile ou face, mise en gage, certification Frédéric Magniez 14 Avr 2021 Algorithmes quantiques Amphithéâtre Mireille Delmas-Marty (salle 5), Site Marcelin Berthelot 14 Avr 2021 10:00 - 11:30