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 48 é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 Xavier Leroy (2018 - aujourd'hui) Domaines Domaines Mathématiques et sciences informatiques (48) Type d'enseignement Type d'enseignement (-) Cours (48) Séminaire (37) Colloque (3) Leçon inaugurale (1) Conférencier invité (1) Filtres actifs Xavier Leroy (2018 - aujourd'hui) Cours Trier par du plus ancien au plus récent du plus ancien au plus récent du plus récent au plus ancien 21 nov 2018 Cours 10:00 - 11:00 Les chemins d'une découverte : la correspondance de Curry-Howard, 1930-1970 Xavier Leroy 21 nov 2018 Programmer = démontrer ? La correspondance de Curry-Howard aujourd'hui Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 21 nov 2018 10:00 - 11:00 Cours 11:30 - 12:30 Polymorphisme à tous les étages ! Du système F au calcul des constructions Xavier Leroy 21 nov 2018 Programmer = démontrer ? La correspondance de Curry-Howard aujourd'hui Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 21 nov 2018 11:30 - 12:30 28 nov 2018 Cours 10:00 - 11:00 Des armes de construction massive : types inductifs et prédicats inductifs Xavier Leroy 28 nov 2018 Programmer = démontrer ? La correspondance de Curry-Howard aujourd'hui Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 28 nov 2018 10:00 - 11:00 05 déc 2018 Cours 10:00 - 11:00 Il faut qu'une porte soit ouverte ou fermée ! Logique classique, continuations, opérateurs de contrôle Xavier Leroy 05 déc 2018 Programmer = démontrer ? La correspondance de Curry-Howard aujourd'hui Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 05 déc 2018 10:00 - 11:00 12 déc 2018 Cours 10:00 - 11:00 Peut-on changer le monde ? Programmation impérative, effets monadiques, effets algébriques Xavier Leroy 12 déc 2018 Programmer = démontrer ? La correspondance de Curry-Howard aujourd'hui Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 12 déc 2018 10:00 - 11:00 19 déc 2018 Cours 10:00 - 11:00 Des théorèmes gratuits : la paramétricité Xavier Leroy 19 déc 2018 Programmer = démontrer ? La correspondance de Curry-Howard aujourd'hui Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 19 déc 2018 10:00 - 11:00 09 jan 2019 Cours 10:00 - 11:00 Le forcing, une transformation de programme comme une autre ? Xavier Leroy 09 jan 2019 Programmer = démontrer ? La correspondance de Curry-Howard aujourd'hui Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 09 jan 2019 10:00 - 11:00 Cours 11:30 - 12:30 À pas comptés : les techniques de step-indexing Xavier Leroy 09 jan 2019 Programmer = démontrer ? La correspondance de Curry-Howard aujourd'hui Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 09 jan 2019 11:30 - 12:30 16 jan 2019 Cours 10:00 - 11:00 Sisyphe heureux : types infinis, démonstrations par coinduction, et programmation réactive Xavier Leroy 16 jan 2019 Programmer = démontrer ? La correspondance de Curry-Howard aujourd'hui Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 16 jan 2019 10:00 - 11:00 23 jan 2019 Cours 10:00 - 11:00 Qu'est-ce que l'égalité ? De Leibniz à la théorie homotopique des types Xavier Leroy 23 jan 2019 Programmer = démontrer ? La correspondance de Curry-Howard aujourd'hui Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 23 jan 2019 10:00 - 11:00 30 jan 2019 Cours 11:30 - 12:30 Conclusion, discussions et réponses aux questions de l'année Xavier Leroy 30 jan 2019 Programmer = démontrer ? La correspondance de Curry-Howard aujourd'hui Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 30 jan 2019 11:30 - 12:30 28 nov 2019 Cours 09:30 - 11:00 Des expressions et des commandes : la sémantique d'un langage impératif Xavier Leroy 28 nov 2019 Sémantiques mécanisées : quand la machine raisonne sur ses langages Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 28 nov 2019 09:30 - 11:00 12 déc 2019 Cours 09:30 - 11:00 Traduttore, traditore : vérification formelle d'un compilateur Xavier Leroy 12 déc 2019 Sémantiques mécanisées : quand la machine raisonne sur ses langages Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 12 déc 2019 09:30 - 11:00 19 déc 2019 Cours 09:30 - 11:00 Compiler mieux : optimisations, analyses statiques, et leur vérification Xavier Leroy 19 déc 2019 Sémantiques mécanisées : quand la machine raisonne sur ses langages Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 19 déc 2019 09:30 - 11:00 09 jan 2020 Cours 09:30 - 11:00 Des logiques pour raisonner sur les programmes Xavier Leroy 09 jan 2020 Sémantiques mécanisées : quand la machine raisonne sur ses langages Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 09 jan 2020 09:30 - 11:00 16 jan 2020 Cours 09:30 - 11:00 Un art abstrait : l'analyse statique par interprétation abstraite Xavier Leroy 16 jan 2020 Sémantiques mécanisées : quand la machine raisonne sur ses langages Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 16 jan 2020 09:30 - 11:00 30 jan 2020 Cours 09:30 - 11:00 L'éternité, c'est long : divergence, théorie des domaines, approches coinductives Xavier Leroy 30 jan 2020 Sémantiques mécanisées : quand la machine raisonne sur ses langages Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 30 jan 2020 09:30 - 11:00 06 fév 2020 Cours 09:30 - 11:00 Des fonctions et des types : la sémantique d'un langage fonctionnel Xavier Leroy 06 fév 2020 Sémantiques mécanisées : quand la machine raisonne sur ses langages Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 06 fév 2020 09:30 - 11:00 13 fév 2020 Cours 10:45 - 12:15 Coq en Coq ? Mécaniser la logique d'un assistant à la démonstration Xavier Leroy 13 fév 2020 Sémantiques mécanisées : quand la machine raisonne sur ses langages Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 13 fév 2020 10:45 - 12:15 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 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 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 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 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 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 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 10 Mar 2022 Cours 09:30 - 11:00 Sécurité du logiciel : introduction et études de cas Xavier Leroy 10 Mar 2022 Sécurité du logiciel : quel rôle pour les langages de programmation ? Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 10 Mar 2022 09:30 - 11:00 17 Mar 2022 Cours 09:30 - 11:00 Flux d'information Xavier Leroy 17 Mar 2022 Sécurité du logiciel : quel rôle pour les langages de programmation ? Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 17 Mar 2022 09:30 - 11:00 24 Mar 2022 Cours 09:30 - 11:00 Isolation logicielle Xavier Leroy 24 Mar 2022 Sécurité du logiciel : quel rôle pour les langages de programmation ? Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 24 Mar 2022 09:30 - 11:00 31 Mar 2022 Cours 09:30 - 11:00 Tempus fugit : attaques par observation du temps Xavier Leroy 31 Mar 2022 Sécurité du logiciel : quel rôle pour les langages de programmation ? Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 31 Mar 2022 09:30 - 11:00 Pagination Page courante 1 Page 2 Page suivante Dernière page
Cours 10:00 - 11:00 Les chemins d'une découverte : la correspondance de Curry-Howard, 1930-1970 Xavier Leroy 21 nov 2018 Programmer = démontrer ? La correspondance de Curry-Howard aujourd'hui Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 21 nov 2018 10:00 - 11:00
Cours 11:30 - 12:30 Polymorphisme à tous les étages ! Du système F au calcul des constructions Xavier Leroy 21 nov 2018 Programmer = démontrer ? La correspondance de Curry-Howard aujourd'hui Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 21 nov 2018 11:30 - 12:30
Cours 10:00 - 11:00 Des armes de construction massive : types inductifs et prédicats inductifs Xavier Leroy 28 nov 2018 Programmer = démontrer ? La correspondance de Curry-Howard aujourd'hui Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 28 nov 2018 10:00 - 11:00
Cours 10:00 - 11:00 Il faut qu'une porte soit ouverte ou fermée ! Logique classique, continuations, opérateurs de contrôle Xavier Leroy 05 déc 2018 Programmer = démontrer ? La correspondance de Curry-Howard aujourd'hui Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 05 déc 2018 10:00 - 11:00
Cours 10:00 - 11:00 Peut-on changer le monde ? Programmation impérative, effets monadiques, effets algébriques Xavier Leroy 12 déc 2018 Programmer = démontrer ? La correspondance de Curry-Howard aujourd'hui Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 12 déc 2018 10:00 - 11:00
Cours 10:00 - 11:00 Des théorèmes gratuits : la paramétricité Xavier Leroy 19 déc 2018 Programmer = démontrer ? La correspondance de Curry-Howard aujourd'hui Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 19 déc 2018 10:00 - 11:00
Cours 10:00 - 11:00 Le forcing, une transformation de programme comme une autre ? Xavier Leroy 09 jan 2019 Programmer = démontrer ? La correspondance de Curry-Howard aujourd'hui Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 09 jan 2019 10:00 - 11:00
Cours 11:30 - 12:30 À pas comptés : les techniques de step-indexing Xavier Leroy 09 jan 2019 Programmer = démontrer ? La correspondance de Curry-Howard aujourd'hui Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 09 jan 2019 11:30 - 12:30
Cours 10:00 - 11:00 Sisyphe heureux : types infinis, démonstrations par coinduction, et programmation réactive Xavier Leroy 16 jan 2019 Programmer = démontrer ? La correspondance de Curry-Howard aujourd'hui Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 16 jan 2019 10:00 - 11:00
Cours 10:00 - 11:00 Qu'est-ce que l'égalité ? De Leibniz à la théorie homotopique des types Xavier Leroy 23 jan 2019 Programmer = démontrer ? La correspondance de Curry-Howard aujourd'hui Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 23 jan 2019 10:00 - 11:00
Cours 11:30 - 12:30 Conclusion, discussions et réponses aux questions de l'année Xavier Leroy 30 jan 2019 Programmer = démontrer ? La correspondance de Curry-Howard aujourd'hui Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 30 jan 2019 11:30 - 12:30
Cours 09:30 - 11:00 Des expressions et des commandes : la sémantique d'un langage impératif Xavier Leroy 28 nov 2019 Sémantiques mécanisées : quand la machine raisonne sur ses langages Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 28 nov 2019 09:30 - 11:00
Cours 09:30 - 11:00 Traduttore, traditore : vérification formelle d'un compilateur Xavier Leroy 12 déc 2019 Sémantiques mécanisées : quand la machine raisonne sur ses langages Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 12 déc 2019 09:30 - 11:00
Cours 09:30 - 11:00 Compiler mieux : optimisations, analyses statiques, et leur vérification Xavier Leroy 19 déc 2019 Sémantiques mécanisées : quand la machine raisonne sur ses langages Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 19 déc 2019 09:30 - 11:00
Cours 09:30 - 11:00 Des logiques pour raisonner sur les programmes Xavier Leroy 09 jan 2020 Sémantiques mécanisées : quand la machine raisonne sur ses langages Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 09 jan 2020 09:30 - 11:00
Cours 09:30 - 11:00 Un art abstrait : l'analyse statique par interprétation abstraite Xavier Leroy 16 jan 2020 Sémantiques mécanisées : quand la machine raisonne sur ses langages Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 16 jan 2020 09:30 - 11:00
Cours 09:30 - 11:00 L'éternité, c'est long : divergence, théorie des domaines, approches coinductives Xavier Leroy 30 jan 2020 Sémantiques mécanisées : quand la machine raisonne sur ses langages Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 30 jan 2020 09:30 - 11:00
Cours 09:30 - 11:00 Des fonctions et des types : la sémantique d'un langage fonctionnel Xavier Leroy 06 fév 2020 Sémantiques mécanisées : quand la machine raisonne sur ses langages Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 06 fév 2020 09:30 - 11:00
Cours 10:45 - 12:15 Coq en Coq ? Mécaniser la logique d'un assistant à la démonstration Xavier Leroy 13 fév 2020 Sémantiques mécanisées : quand la machine raisonne sur ses langages Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 13 fév 2020 10:45 - 12:15
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 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
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
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
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
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
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
Cours 09:30 - 11:00 Sécurité du logiciel : introduction et études de cas Xavier Leroy 10 Mar 2022 Sécurité du logiciel : quel rôle pour les langages de programmation ? Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 10 Mar 2022 09:30 - 11:00
Cours 09:30 - 11:00 Flux d'information Xavier Leroy 17 Mar 2022 Sécurité du logiciel : quel rôle pour les langages de programmation ? Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 17 Mar 2022 09:30 - 11:00
Cours 09:30 - 11:00 Isolation logicielle Xavier Leroy 24 Mar 2022 Sécurité du logiciel : quel rôle pour les langages de programmation ? Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 24 Mar 2022 09:30 - 11:00
Cours 09:30 - 11:00 Tempus fugit : attaques par observation du temps Xavier Leroy 31 Mar 2022 Sécurité du logiciel : quel rôle pour les langages de programmation ? Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 31 Mar 2022 09:30 - 11:00