Partager Facebook X (ex-Twitter) Linkedin Copier le lien Agenda 48 événements Filtres Dates Close Dates Dates Du Au 7 prochains jours 30 prochains jours Professeur, chaire, laboratoire Close Professeur, chaire, laboratoire Professeur, chaire, laboratoire Rechercher un professeur, une chaire ou un laboratoire Xavier Leroy (2018 - aujourd'hui) Domaines Close Domaines Domaines Mathématiques et sciences informatiques (48) Type d'enseignement Close 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 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