Partager Facebook X (ex-Twitter) Linkedin Copier le lien Agenda 37 é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 (37) 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) Séminaire 28 nov 2018 Séminaire 11:30 - 12:30 Les types dépendants : tout un programme ! Pierre-Évariste Dagand 28 nov 2018 Programmer = démontrer ? La correspondance de Curry-Howard aujourd'hui Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 28 nov 2018 11:30 - 12:30 05 déc 2018 Séminaire 11:30 - 12:30 Mathématiques assistées par ordinateur Assia Mahboubi 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 11:30 - 12:30 12 déc 2018 Séminaire 11:30 - 12:30 Programmer avec Coq : récursion et filtrage dépendant Matthieu Sozeau 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 11:30 - 12:30 19 déc 2018 Séminaire 11:30 - 12:30 Peut-on dupliquer un objet ? Linéarité et contrôle des ressources Guillaume Munch-Maccagnoni 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 11:30 - 12:30 16 jan 2019 Séminaire 11:30 - 12:30 Réalisabilité et forcing Alexandre Miquel 16 jan 2019 Programmer = démontrer ? La correspondance de Curry-Howard aujourd'hui Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 16 jan 2019 11:30 - 12:30 23 jan 2019 Séminaire 11:30 - 12:30 Sémantique des programmes fonctionnels probabilistes, à la lumière de la logique linéaire Christine Tasson 23 jan 2019 Programmer = démontrer ? La correspondance de Curry-Howard aujourd'hui Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 23 jan 2019 11:30 - 12:30 30 jan 2019 Séminaire 10:00 - 11:00 Du calcul des constructions à la théorie des types univalents Thierry Coquand 30 jan 2019 Programmer = démontrer ? La correspondance de Curry-Howard aujourd'hui Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 30 jan 2019 10:00 - 11:00 12 déc 2019 Séminaire 11:15 - 12:15 Lambda, the Ultimate Teaching Assistant (Agda Version) Philip Wadler 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 11:15 - 12:15 19 déc 2019 Séminaire 11:15 - 12:15 L'arithmétique des ordinateurs et sa formalisation Sylvie Boldo 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 11:15 - 12:15 09 jan 2020 Séminaire 11:15 - 12:15 Sémantique formelle de JavaScript : les enjeux du passage à l'échelle Alan Schmitt 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 11:15 - 12:15 16 jan 2020 Séminaire 11:15 - 12:15 Logique de séparation en Coq : théorie et pratique Arthur Charguéraud 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 11:15 - 12:15 30 jan 2020 Séminaire 11:15 - 12:15 Interpréteurs abstraits mécanisés David Pichardie 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 11:15 - 12:15 06 fév 2020 Séminaire 11:15 - 12:15 Understanding and Evolving the Rust Programming Language Derek Dreyer 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 11:15 - 12:15 13 fév 2020 Séminaire 09:30 - 10:30 What's in a Name? Représenter les variables et leurs liaisons 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 09:30 - 10:30 11 Mar 2021 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 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 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 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 08 avr 2021 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 15 avr 2021 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 17 Mar 2022 Séminaire 11:15 - 12:15 Influence de la qualité des spécifications sur la sécurité logicielle Olivier Levillain 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 11:15 - 12:15 24 Mar 2022 Séminaire 11:15 - 12:15 Differential Privacy: From the Central Model to the Local Model and their Generalization Catuscia Palamidessi 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 11:15 - 12:15 31 Mar 2022 Séminaire 11:15 - 12:15 Verified Implementations for Real-World Cryptographic Protocols Karthikeyan Bhargavan 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 11:15 - 12:15 07 avr 2022 Séminaire 11:15 - 12:15 Attaques par injection de faute et protections logicielles Karine Heydemann 07 avr 2022 Sécurité du logiciel : quel rôle pour les langages de programmation ? Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 07 avr 2022 11:15 - 12:15 14 avr 2022 Séminaire 11:15 - 12:15 Obfuscation du logiciel : brouiller le code pour protéger les programmes Sandrine Blazy 14 avr 2022 Sécurité du logiciel : quel rôle pour les langages de programmation ? Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 14 avr 2022 11:15 - 12:15 21 avr 2022 Séminaire 11:15 - 12:15 Transient Execution Attacks and Defenses Frank Piessens 21 avr 2022 Sécurité du logiciel : quel rôle pour les langages de programmation ? Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 21 avr 2022 11:15 - 12:15 23 Mar 2023 Séminaire 11:15 - 12:15 Verification of Functional Data Structures: Correctness and Complexity Tobias Nipkow 23 Mar 2023 Structures de données persistantes Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 23 Mar 2023 11:15 - 12:15 30 Mar 2023 Séminaire 11:15 - 12:15 Structures de données semi-persistantes Jean-Christophe Filliâtre 30 Mar 2023 Structures de données persistantes Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 30 Mar 2023 11:15 - 12:15 07 avr 2023 Séminaire 15:45 - 16:45 Mergeable Replicated Data Types KC Sivaramakrishnan 07 avr 2023 Structures de données persistantes Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 07 avr 2023 15:45 - 16:45 13 avr 2023 Séminaire 11:15 - 12:15 Comment allier persistance et performance Arthur Charguéraud 13 avr 2023 Structures de données persistantes Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 13 avr 2023 11:15 - 12:15 Pagination Page courante 1 Page 2 Page suivante Dernière page
Séminaire 11:30 - 12:30 Les types dépendants : tout un programme ! Pierre-Évariste Dagand 28 nov 2018 Programmer = démontrer ? La correspondance de Curry-Howard aujourd'hui Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 28 nov 2018 11:30 - 12:30
Séminaire 11:30 - 12:30 Mathématiques assistées par ordinateur Assia Mahboubi 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 11:30 - 12:30
Séminaire 11:30 - 12:30 Programmer avec Coq : récursion et filtrage dépendant Matthieu Sozeau 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 11:30 - 12:30
Séminaire 11:30 - 12:30 Peut-on dupliquer un objet ? Linéarité et contrôle des ressources Guillaume Munch-Maccagnoni 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 11:30 - 12:30
Séminaire 11:30 - 12:30 Réalisabilité et forcing Alexandre Miquel 16 jan 2019 Programmer = démontrer ? La correspondance de Curry-Howard aujourd'hui Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 16 jan 2019 11:30 - 12:30
Séminaire 11:30 - 12:30 Sémantique des programmes fonctionnels probabilistes, à la lumière de la logique linéaire Christine Tasson 23 jan 2019 Programmer = démontrer ? La correspondance de Curry-Howard aujourd'hui Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 23 jan 2019 11:30 - 12:30
Séminaire 10:00 - 11:00 Du calcul des constructions à la théorie des types univalents Thierry Coquand 30 jan 2019 Programmer = démontrer ? La correspondance de Curry-Howard aujourd'hui Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 30 jan 2019 10:00 - 11:00
Séminaire 11:15 - 12:15 Lambda, the Ultimate Teaching Assistant (Agda Version) Philip Wadler 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 11:15 - 12:15
Séminaire 11:15 - 12:15 L'arithmétique des ordinateurs et sa formalisation Sylvie Boldo 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 11:15 - 12:15
Séminaire 11:15 - 12:15 Sémantique formelle de JavaScript : les enjeux du passage à l'échelle Alan Schmitt 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 11:15 - 12:15
Séminaire 11:15 - 12:15 Logique de séparation en Coq : théorie et pratique Arthur Charguéraud 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 11:15 - 12:15
Séminaire 11:15 - 12:15 Interpréteurs abstraits mécanisés David Pichardie 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 11:15 - 12:15
Séminaire 11:15 - 12:15 Understanding and Evolving the Rust Programming Language Derek Dreyer 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 11:15 - 12:15
Séminaire 09:30 - 10:30 What's in a Name? Représenter les variables et leurs liaisons 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 09:30 - 10:30
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
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
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
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
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
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
Séminaire 11:15 - 12:15 Influence de la qualité des spécifications sur la sécurité logicielle Olivier Levillain 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 11:15 - 12:15
Séminaire 11:15 - 12:15 Differential Privacy: From the Central Model to the Local Model and their Generalization Catuscia Palamidessi 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 11:15 - 12:15
Séminaire 11:15 - 12:15 Verified Implementations for Real-World Cryptographic Protocols Karthikeyan Bhargavan 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 11:15 - 12:15
Séminaire 11:15 - 12:15 Attaques par injection de faute et protections logicielles Karine Heydemann 07 avr 2022 Sécurité du logiciel : quel rôle pour les langages de programmation ? Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 07 avr 2022 11:15 - 12:15
Séminaire 11:15 - 12:15 Obfuscation du logiciel : brouiller le code pour protéger les programmes Sandrine Blazy 14 avr 2022 Sécurité du logiciel : quel rôle pour les langages de programmation ? Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 14 avr 2022 11:15 - 12:15
Séminaire 11:15 - 12:15 Transient Execution Attacks and Defenses Frank Piessens 21 avr 2022 Sécurité du logiciel : quel rôle pour les langages de programmation ? Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 21 avr 2022 11:15 - 12:15
Séminaire 11:15 - 12:15 Verification of Functional Data Structures: Correctness and Complexity Tobias Nipkow 23 Mar 2023 Structures de données persistantes Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 23 Mar 2023 11:15 - 12:15
Séminaire 11:15 - 12:15 Structures de données semi-persistantes Jean-Christophe Filliâtre 30 Mar 2023 Structures de données persistantes Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 30 Mar 2023 11:15 - 12:15
Séminaire 15:45 - 16:45 Mergeable Replicated Data Types KC Sivaramakrishnan 07 avr 2023 Structures de données persistantes Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 07 avr 2023 15:45 - 16:45
Séminaire 11:15 - 12:15 Comment allier persistance et performance Arthur Charguéraud 13 avr 2023 Structures de données persistantes Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 13 avr 2023 11:15 - 12:15