Partager Facebook X (ex-Twitter) Linkedin Copier le lien Agenda 85 é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 (85) 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 Séminaire 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 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
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