Partager Facebook X (ex-Twitter) Linkedin Copier le lien Agenda 49 é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 (49) 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 Conférencier invité 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 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 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
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