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 2439 é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 (1250) Séminaire (831) Colloque (78) Leçon inaugurale (43) Conférencier invité (223) Grand événement (14) Filtres actifs Mathématiques et sciences informatiques Sciences de l'Univers Trier par du plus ancien au plus récent du plus ancien au plus récent du plus récent au plus ancien 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 05 Mar 2021 Cours 15:00 - 16:30 Évolution du niveau marin et des calottes glaciaires au cours de l’Holocène Edouard Bard 05 Mar 2021 Climats extrêmes et analogues actuels : l'optimum holocène (suite) Amphithéâtre Marguerite de Navarre, Site Marcelin Berthelot 05 Mar 2021 15:00 - 16:30 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 12 Mar 2021 Cours 15:00 - 16:30 Évolution du niveau marin et des calottes glaciaires durant l’Holocène : quelques événements singuliers Edouard Bard 12 Mar 2021 Climats extrêmes et analogues actuels : l'optimum holocène (suite) Amphithéâtre Marguerite de Navarre, Site Marcelin Berthelot 12 Mar 2021 15:00 - 16:30 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 19 Mar 2021 Cours 15:00 - 16:30 Variations des précipitations durant l’Holocène et la période humide africaine Edouard Bard 19 Mar 2021 Climats extrêmes et analogues actuels : l'optimum holocène (suite) Amphithéâtre Marguerite de Navarre, Site Marcelin Berthelot 19 Mar 2021 15:00 - 16:30 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 26 Mar 2021 Cours 15:00 - 16:30 Modélisation de la période humide holocène : impacts sur les populations humaines Edouard Bard 26 Mar 2021 Climats extrêmes et analogues actuels : l'optimum holocène (suite) Amphithéâtre Marguerite de Navarre, Site Marcelin Berthelot 26 Mar 2021 15:00 - 16:30 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 Cours 15:00 - 16:30 L’optimum holocène et ses conséquences humaines Edouard Bard 02 avr 2021 Climats extrêmes et analogues actuels : l'optimum holocène (suite) Amphithéâtre Marguerite de Navarre, Site Marcelin Berthelot 02 avr 2021 15:00 - 16:30 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 Pagination Première page Page précédente … Page 57 Page 58 Page 59 Page 60 Page courante 61 Page 62 Page 63 Page 64 Page 65 … Page suivante Dernière page
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 15:00 - 16:30 Évolution du niveau marin et des calottes glaciaires au cours de l’Holocène Edouard Bard 05 Mar 2021 Climats extrêmes et analogues actuels : l'optimum holocène (suite) Amphithéâtre Marguerite de Navarre, Site Marcelin Berthelot 05 Mar 2021 15:00 - 16:30
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 15:00 - 16:30 Évolution du niveau marin et des calottes glaciaires durant l’Holocène : quelques événements singuliers Edouard Bard 12 Mar 2021 Climats extrêmes et analogues actuels : l'optimum holocène (suite) Amphithéâtre Marguerite de Navarre, Site Marcelin Berthelot 12 Mar 2021 15:00 - 16:30
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 15:00 - 16:30 Variations des précipitations durant l’Holocène et la période humide africaine Edouard Bard 19 Mar 2021 Climats extrêmes et analogues actuels : l'optimum holocène (suite) Amphithéâtre Marguerite de Navarre, Site Marcelin Berthelot 19 Mar 2021 15:00 - 16:30
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 15:00 - 16:30 Modélisation de la période humide holocène : impacts sur les populations humaines Edouard Bard 26 Mar 2021 Climats extrêmes et analogues actuels : l'optimum holocène (suite) Amphithéâtre Marguerite de Navarre, Site Marcelin Berthelot 26 Mar 2021 15:00 - 16:30
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 15:00 - 16:30 L’optimum holocène et ses conséquences humaines Edouard Bard 02 avr 2021 Climats extrêmes et analogues actuels : l'optimum holocène (suite) Amphithéâtre Marguerite de Navarre, Site Marcelin Berthelot 02 avr 2021 15:00 - 16:30
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