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 1855 événements Filtres Dates Dates Du Au Appliquer Aujourd'hui 7 prochains jours 30 prochains jours Tout l'agenda Professeur, chaire, laboratoire Professeur, chaire, laboratoire Rechercher un professeur, une chaire ou un laboratoire Domaines Domaines (-) Mathématiques et sciences informatiques (1855) Physique et chimie (1558) Sciences de l'Univers (584) Sciences de la vie (1744) Histoire et archéologie (4090) Lettres, arts, langage, philosophie (2655) Sciences sociales (1546) Type d'enseignement Type d'enseignement Cours (914) Séminaire (661) Colloque (37) Leçon inaugurale (31) Conférencier invité (198) Grand événement (14) 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 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 Séminaire 11:30 - 12:30 Certifier la génération de nombres aléatoires avec le quantique Thomas Vidick 14 avr 2021 Algorithmes quantiques 14 avr 2021 11:30 - 12:30 15 avr 2021 Cours 09:30 - 11:00 Logiques pour les langages fonctionnels et l'ordre supérieur Xavier Leroy 15 avr 2021 Logiques de programmes : quand la machine raisonne sur ses logiciels Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 15 avr 2021 09:30 - 11:00 Séminaire 11:15 - 12:15 Gillian: a Multi-language Platform for Compositional Symbolic Analysis Philippa Gardner 15 avr 2021 Logiques de programmes : quand la machine raisonne sur ses logiciels Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 15 avr 2021 11:15 - 12:15 16 avr 2021 Cours 14:00 - 16:00 Fibration de Hitchin Bảo Châu Ngô 16 avr 2021 Dualité des fibrations de Hitchin et endoscopie 16 avr 2021 14:00 - 16:00 05 mai 2021 Cours 10:00 - 11:30 Circuits quantiques, premiers algorithmes : portes universelles, algorithmes de Deutsch-Jozsa et Bernstein-Vazirani, supériorité des algorithmes quantiques Frédéric Magniez 05 mai 2021 Algorithmes quantiques Amphithéâtre Mireille Delmas-Marty (salle 5), Site Marcelin Berthelot 05 mai 2021 10:00 - 11:30 Séminaire 11:30 - 12:30 Langages graphiques pour programmer et raisonner en informatique quantique Simon Perdrix 05 mai 2021 Algorithmes quantiques 05 mai 2021 11:30 - 12:30 07 mai 2021 Cours 14:00 - 16:00 Fibres de Springer affines Bảo Châu Ngô 07 mai 2021 Dualité des fibrations de Hitchin et endoscopie 07 mai 2021 14:00 - 16:00 12 mai 2021 Cours 10:00 - 11:30 Transformée de Fourier quantique : réalisation, estimation de phase, algorithmes de Simon et de Shor (recherche de période et factorisation) et généralisations récentes Frédéric Magniez 12 mai 2021 Algorithmes quantiques Amphithéâtre Mireille Delmas-Marty (salle 5), Site Marcelin Berthelot 12 mai 2021 10:00 - 11:30 Séminaire 11:30 - 12:30 Le problème du sous-groupe caché Miklos Santha 12 mai 2021 Algorithmes quantiques 12 mai 2021 11:30 - 12:30 Pagination Première page Page précédente … Page 42 Page 43 Page 44 Page 45 Page courante 46 Page 47 Page 48 Page 49 Page 50 … Page suivante Dernière page
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
Séminaire 11:30 - 12:30 Certifier la génération de nombres aléatoires avec le quantique Thomas Vidick 14 avr 2021 Algorithmes quantiques 14 avr 2021 11:30 - 12:30
Cours 09:30 - 11:00 Logiques pour les langages fonctionnels et l'ordre supérieur Xavier Leroy 15 avr 2021 Logiques de programmes : quand la machine raisonne sur ses logiciels Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 15 avr 2021 09:30 - 11:00
Séminaire 11:15 - 12:15 Gillian: a Multi-language Platform for Compositional Symbolic Analysis Philippa Gardner 15 avr 2021 Logiques de programmes : quand la machine raisonne sur ses logiciels Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 15 avr 2021 11:15 - 12:15
Cours 14:00 - 16:00 Fibration de Hitchin Bảo Châu Ngô 16 avr 2021 Dualité des fibrations de Hitchin et endoscopie 16 avr 2021 14:00 - 16:00
Cours 10:00 - 11:30 Circuits quantiques, premiers algorithmes : portes universelles, algorithmes de Deutsch-Jozsa et Bernstein-Vazirani, supériorité des algorithmes quantiques Frédéric Magniez 05 mai 2021 Algorithmes quantiques Amphithéâtre Mireille Delmas-Marty (salle 5), Site Marcelin Berthelot 05 mai 2021 10:00 - 11:30
Séminaire 11:30 - 12:30 Langages graphiques pour programmer et raisonner en informatique quantique Simon Perdrix 05 mai 2021 Algorithmes quantiques 05 mai 2021 11:30 - 12:30
Cours 14:00 - 16:00 Fibres de Springer affines Bảo Châu Ngô 07 mai 2021 Dualité des fibrations de Hitchin et endoscopie 07 mai 2021 14:00 - 16:00
Cours 10:00 - 11:30 Transformée de Fourier quantique : réalisation, estimation de phase, algorithmes de Simon et de Shor (recherche de période et factorisation) et généralisations récentes Frédéric Magniez 12 mai 2021 Algorithmes quantiques Amphithéâtre Mireille Delmas-Marty (salle 5), Site Marcelin Berthelot 12 mai 2021 10:00 - 11:30
Séminaire 11:30 - 12:30 Le problème du sous-groupe caché Miklos Santha 12 mai 2021 Algorithmes quantiques 12 mai 2021 11:30 - 12:30