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 07 avr 2022 Cours 09:30 - 11:00 Typage et sécurité Xavier Leroy 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 09:30 - 11:00 14 avr 2022 Cours 09:30 - 11:00 Compilation et sécurité Xavier Leroy 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 09:30 - 11:00 21 avr 2022 Cours 09:30 - 11:00 Calculer sur des données chiffrées ou privées Xavier Leroy 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 09:30 - 11:00 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 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 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 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 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 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 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 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 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 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 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 Pagination Première page Page précédente Page 1 Page courante 2
Cours 09:30 - 11:00 Typage et sécurité Xavier Leroy 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 09:30 - 11:00
Cours 09:30 - 11:00 Compilation et sécurité Xavier Leroy 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 09:30 - 11:00
Cours 09:30 - 11:00 Calculer sur des données chiffrées ou privées Xavier Leroy 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 09:30 - 11:00
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
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
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
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
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
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
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
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
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
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
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