Partager Facebook X (ex-Twitter) Linkedin Copier le lien Agenda 90 é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 (87) 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) 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 29 juin 2022 Colloque Probabilistic Programming Xavier Leroy 29 juin 2022 → 30 juin 2022 29 juin 2022 → 30 juin 2022 30 juin 2022 Colloque Probabilistic Programming Xavier Leroy 29 juin 2022 → 30 juin 2022 29 juin 2022 → 30 juin 2022 09 Mar 2023 Cours 09:30 - 11:00 Rien ne se perd, tout se crée : introduction aux structures de données persistantes Xavier Leroy 09 Mar 2023 Structures de données persistantes Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 09 Mar 2023 09:30 - 11:00 16 Mar 2023 Cours 09:30 - 11:00 Arbres équilibrés + copie de branches = dictionnaires persistants Xavier Leroy 16 Mar 2023 Structures de données persistantes Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 16 Mar 2023 09:30 - 11:00 23 Mar 2023 Cours 09:30 - 11:00 Concilier amortissement et persistance : de l'importance de la paresse Xavier Leroy 23 Mar 2023 Structures de données persistantes Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 23 Mar 2023 09:30 - 11:00 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 Cours 09:30 - 11:00 Comment rendre persistante une structure impérative ? Xavier Leroy 30 Mar 2023 Structures de données persistantes Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 30 Mar 2023 09:30 - 11:00 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 Cours 14:00 - 15:30 Systèmes de numération et types non réguliers Xavier Leroy 07 avr 2023 Structures de données persistantes Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 07 avr 2023 14:00 - 15:30 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 Cours 09:30 - 11:00 De la dérivation formelle à la navigation dans une structure : contextes, zippers, index, etc. Xavier Leroy 13 avr 2023 Structures de données persistantes Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 13 avr 2023 09:30 - 11:00 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 20 avr 2023 Cours 09:30 - 11:00 À la recherche du vecteur perdu : limites théoriques et conclusions Xavier Leroy 20 avr 2023 Structures de données persistantes Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 20 avr 2023 09:30 - 11:00 Séminaire 11:15 - 12:15 Une algèbre de modifications, ou : le contrôle de versions pour tous Pierre-Etienne Meunier 20 avr 2023 Structures de données persistantes Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 20 avr 2023 11:15 - 12:15 28 Sep 2023 Colloque L'IA et ses défis Philippe Aghion, Xavier Leroy, Benoît Sagot 28 Sep 2023 28 Sep 2023 25 jan 2024 Cours 09:30 - 11:00 Naissance des structures de contrôle : du « goto » à la programmation structurée Xavier Leroy 25 jan 2024 Structures de contrôle : de « goto » aux effets algébriques Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 25 jan 2024 09:30 - 11:00 01 fév 2024 Cours 09:30 - 11:00 Structures de contrôle avancées : des subroutines aux coroutines et au parallélisme Xavier Leroy 01 fév 2024 Structures de contrôle : de « goto » aux effets algébriques Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 01 fév 2024 09:30 - 11:00 08 fév 2024 Cours 09:30 - 11:00 Chassez le contrôle... : la programmation déclarative Xavier Leroy 08 fév 2024 Structures de contrôle : de « goto » aux effets algébriques Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 08 fév 2024 09:30 - 11:00 Séminaire 11:15 - 12:15 Comment concilier parallélisme et contrôle ? Approches des architectures de processeurs généralistes et graphiques Caroline Collange 08 fév 2024 Structures de contrôle : de « goto » aux effets algébriques Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 08 fév 2024 11:15 - 12:15 15 fév 2024 Cours 09:30 - 11:00 Programmer ses structures de contrôle : continuations et opérateurs de contrôle Xavier Leroy 15 fév 2024 Structures de contrôle : de « goto » aux effets algébriques Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 15 fév 2024 09:30 - 11:00 Séminaire 11:15 - 12:15 Représentations intermédiaires pour la compilation : s'affranchir du graphe de flot de contrôle Delphine Demange 15 fév 2024 Structures de contrôle : de « goto » aux effets algébriques Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 15 fév 2024 11:15 - 12:15 22 fév 2024 Cours 09:30 - 11:00 Pratique des effets : des exceptions aux gestionnaires d'effets Xavier Leroy 22 fév 2024 Structures de contrôle : de « goto » aux effets algébriques Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 22 fév 2024 09:30 - 11:00 Séminaire 11:15 - 12:15 Compiling and Typing with Continuations Andrew Kennedy 22 fév 2024 Structures de contrôle : de « goto » aux effets algébriques Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 22 fév 2024 11:15 - 12:15 29 fév 2024 Cours 09:30 - 11:00 Théorie des effets : des monades aux effets algébriques Xavier Leroy 29 fév 2024 Structures de contrôle : de « goto » aux effets algébriques Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 29 fév 2024 09:30 - 11:00 Séminaire 11:15 - 12:15 Les continuations : cinq minutes pour les apprendre, toute une vie pour les comprendre Olivier Danvy 29 fév 2024 Structures de contrôle : de « goto » aux effets algébriques Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 29 fév 2024 11:15 - 12:15 07 Mar 2024 Cours 09:30 - 11:00 Typage et analyse statique des effets Xavier Leroy 07 Mar 2024 Structures de contrôle : de « goto » aux effets algébriques Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 07 Mar 2024 09:30 - 11:00 Séminaire 11:15 - 12:15 Effect Handlers and Mathematically Inspired Language Constructs Matija Pretnar 07 Mar 2024 Structures de contrôle : de « goto » aux effets algébriques Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 07 Mar 2024 11:15 - 12:15 14 Mar 2024 Cours 09:30 - 11:00 Logiques de programmes pour le contrôle et les effets Xavier Leroy 14 Mar 2024 Structures de contrôle : de « goto » aux effets algébriques Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 14 Mar 2024 09:30 - 11:00 Séminaire 11:15 - 12:15 Design and Compilation of Efficient Effect Handlers in the Koka Language Daan Leijen 14 Mar 2024 Structures de contrôle : de « goto » aux effets algébriques Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 14 Mar 2024 11:15 - 12:15 Pagination Première page Page précédente Page 1 Page 2 Page courante 3
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
Colloque Probabilistic Programming Xavier Leroy 29 juin 2022 → 30 juin 2022 29 juin 2022 → 30 juin 2022
Colloque Probabilistic Programming Xavier Leroy 29 juin 2022 → 30 juin 2022 29 juin 2022 → 30 juin 2022
Cours 09:30 - 11:00 Rien ne se perd, tout se crée : introduction aux structures de données persistantes Xavier Leroy 09 Mar 2023 Structures de données persistantes Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 09 Mar 2023 09:30 - 11:00
Cours 09:30 - 11:00 Arbres équilibrés + copie de branches = dictionnaires persistants Xavier Leroy 16 Mar 2023 Structures de données persistantes Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 16 Mar 2023 09:30 - 11:00
Cours 09:30 - 11:00 Concilier amortissement et persistance : de l'importance de la paresse Xavier Leroy 23 Mar 2023 Structures de données persistantes Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 23 Mar 2023 09:30 - 11:00
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
Cours 09:30 - 11:00 Comment rendre persistante une structure impérative ? Xavier Leroy 30 Mar 2023 Structures de données persistantes Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 30 Mar 2023 09:30 - 11:00
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
Cours 14:00 - 15:30 Systèmes de numération et types non réguliers Xavier Leroy 07 avr 2023 Structures de données persistantes Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 07 avr 2023 14:00 - 15:30
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
Cours 09:30 - 11:00 De la dérivation formelle à la navigation dans une structure : contextes, zippers, index, etc. Xavier Leroy 13 avr 2023 Structures de données persistantes Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 13 avr 2023 09:30 - 11:00
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
Cours 09:30 - 11:00 À la recherche du vecteur perdu : limites théoriques et conclusions Xavier Leroy 20 avr 2023 Structures de données persistantes Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 20 avr 2023 09:30 - 11:00
Séminaire 11:15 - 12:15 Une algèbre de modifications, ou : le contrôle de versions pour tous Pierre-Etienne Meunier 20 avr 2023 Structures de données persistantes Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 20 avr 2023 11:15 - 12:15
Cours 09:30 - 11:00 Naissance des structures de contrôle : du « goto » à la programmation structurée Xavier Leroy 25 jan 2024 Structures de contrôle : de « goto » aux effets algébriques Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 25 jan 2024 09:30 - 11:00
Cours 09:30 - 11:00 Structures de contrôle avancées : des subroutines aux coroutines et au parallélisme Xavier Leroy 01 fév 2024 Structures de contrôle : de « goto » aux effets algébriques Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 01 fév 2024 09:30 - 11:00
Cours 09:30 - 11:00 Chassez le contrôle... : la programmation déclarative Xavier Leroy 08 fév 2024 Structures de contrôle : de « goto » aux effets algébriques Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 08 fév 2024 09:30 - 11:00
Séminaire 11:15 - 12:15 Comment concilier parallélisme et contrôle ? Approches des architectures de processeurs généralistes et graphiques Caroline Collange 08 fév 2024 Structures de contrôle : de « goto » aux effets algébriques Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 08 fév 2024 11:15 - 12:15
Cours 09:30 - 11:00 Programmer ses structures de contrôle : continuations et opérateurs de contrôle Xavier Leroy 15 fév 2024 Structures de contrôle : de « goto » aux effets algébriques Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 15 fév 2024 09:30 - 11:00
Séminaire 11:15 - 12:15 Représentations intermédiaires pour la compilation : s'affranchir du graphe de flot de contrôle Delphine Demange 15 fév 2024 Structures de contrôle : de « goto » aux effets algébriques Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 15 fév 2024 11:15 - 12:15
Cours 09:30 - 11:00 Pratique des effets : des exceptions aux gestionnaires d'effets Xavier Leroy 22 fév 2024 Structures de contrôle : de « goto » aux effets algébriques Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 22 fév 2024 09:30 - 11:00
Séminaire 11:15 - 12:15 Compiling and Typing with Continuations Andrew Kennedy 22 fév 2024 Structures de contrôle : de « goto » aux effets algébriques Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 22 fév 2024 11:15 - 12:15
Cours 09:30 - 11:00 Théorie des effets : des monades aux effets algébriques Xavier Leroy 29 fév 2024 Structures de contrôle : de « goto » aux effets algébriques Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 29 fév 2024 09:30 - 11:00
Séminaire 11:15 - 12:15 Les continuations : cinq minutes pour les apprendre, toute une vie pour les comprendre Olivier Danvy 29 fév 2024 Structures de contrôle : de « goto » aux effets algébriques Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 29 fév 2024 11:15 - 12:15
Cours 09:30 - 11:00 Typage et analyse statique des effets Xavier Leroy 07 Mar 2024 Structures de contrôle : de « goto » aux effets algébriques Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 07 Mar 2024 09:30 - 11:00
Séminaire 11:15 - 12:15 Effect Handlers and Mathematically Inspired Language Constructs Matija Pretnar 07 Mar 2024 Structures de contrôle : de « goto » aux effets algébriques Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 07 Mar 2024 11:15 - 12:15
Cours 09:30 - 11:00 Logiques de programmes pour le contrôle et les effets Xavier Leroy 14 Mar 2024 Structures de contrôle : de « goto » aux effets algébriques Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 14 Mar 2024 09:30 - 11:00
Séminaire 11:15 - 12:15 Design and Compilation of Efficient Effect Handlers in the Koka Language Daan Leijen 14 Mar 2024 Structures de contrôle : de « goto » aux effets algébriques Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 14 Mar 2024 11:15 - 12:15
