Xavier Leroy Enseignements Sciences du logiciel Enseignements Menu de la chaire La chaire Biographie et publications Enseignements Conférenciers invités Résumés annuels Audios & vidéos Actualités Podcasts / RSS Apple Podcasts Spotify Flux RSS Podcast Flux RSS Actualités Flux RSS Audiovisuel Partager Facebook LinkedIn Bluesky Threads Copier le lien
La chaire Biographie et publications Enseignements Conférenciers invités Résumés annuels Audios & vidéos Actualités À venir Précédent Cours 06 nov 2025 09:30 à 11:00 Xavier Leroy Le calcul sécurisé : calculer sur des données chiffrées ou privées (1) Séminaire 06 nov 2025 11:15 à 12:15 Xavier Leroy Le calcul sécurisé : calculer sur des données chiffrées ou privées (1) Cours 13 nov 2025 09:30 à 11:00 Xavier Leroy Le calcul sécurisé : calculer sur des données chiffrées ou privées (2) Séminaire 13 nov 2025 11:15 à 12:15 Xavier Leroy Le calcul sécurisé : calculer sur des données chiffrées ou privées (2) Cours 20 nov 2025 09:30 à 11:00 Xavier Leroy Le calcul sécurisé : calculer sur des données chiffrées ou privées (3) Séminaire 20 nov 2025 11:15 à 12:15 Xavier Leroy Le calcul sécurisé : calculer sur des données chiffrées ou privées (3) Cours 27 nov 2025 09:30 à 11:00 Xavier Leroy Le calcul sécurisé : calculer sur des données chiffrées ou privées (4) Séminaire 27 nov 2025 11:15 à 12:15 Xavier Leroy Le calcul sécurisé : calculer sur des données chiffrées ou privées (4) Cours 04 déc 2025 09:30 à 11:00 Xavier Leroy Le calcul sécurisé : calculer sur des données chiffrées ou privées (5) Séminaire 04 déc 2025 11:15 à 12:15 Xavier Leroy Le calcul sécurisé : calculer sur des données chiffrées ou privées (5) Cours 11 déc 2025 09:30 à 11:00 Xavier Leroy Le calcul sécurisé : calculer sur des données chiffrées ou privées (6) Séminaire 11 déc 2025 11:15 à 12:15 Xavier Leroy Le calcul sécurisé : calculer sur des données chiffrées ou privées (6) Cours 18 déc 2025 09:30 à 11:00 Xavier Leroy Le calcul sécurisé : calculer sur des données chiffrées ou privées (7) Séminaire 18 déc 2025 11:15 à 12:15 Xavier Leroy Le calcul sécurisé : calculer sur des données chiffrées ou privées (7) Suivant 6 cycles Filtres Type d'enseignement Type d'enseignement Cours (3) Séminaire (2) Leçon inaugurale (1) Année académique Année académique (-) 2025 - 2026 (2) (-) 2024 - 2025 (1) 2023 - 2024 (3) 2022 - 2023 (2) 2021 - 2022 (3) 2020 - 2021 (2) 2019 - 2020 (2) (-) 2018 - 2019 (3) Filtres actifs 2025 - 2026 2024 - 2025 2018 - 2019 2025 - 2026 Cours Le calcul sécurisé : calculer sur des données chiffrées ou privées Xavier Leroy 06 nov 2025 → 18 déc 2025 06 nov 2025 → 18 déc 2025 Séminaire Le calcul sécurisé : calculer sur des données chiffrées ou privées Xavier Leroy 06 nov 2025 → 18 déc 2025 06 nov 2025 → 18 déc 2025 2024 - 2025 Cours L'enseignement n'a pas lieu cette année Xavier Leroy 01 Sep 2024 01 Sep 2024 2018 - 2019 Leçon inaugurale 18:00 - 19:00 Le logiciel, entre l'esprit et la matière Xavier Leroy 15 nov 2018 Amphithéâtre Marguerite de Navarre, Site Marcelin Berthelot 15 nov 2018 18:00 - 19:00 Cours Programmer = démontrer ? La correspondance de Curry-Howard aujourd'hui Xavier Leroy 21 nov 2018 → 30 jan 2019 21 nov 2018 → 30 jan 2019 Séminaire Programmer = démontrer ? La correspondance de Curry-Howard aujourd'hui Xavier Leroy 28 nov 2018 → 30 jan 2019 28 nov 2018 → 30 jan 2019
Cours 06 nov 2025 09:30 à 11:00 Xavier Leroy Le calcul sécurisé : calculer sur des données chiffrées ou privées (1)
Séminaire 06 nov 2025 11:15 à 12:15 Xavier Leroy Le calcul sécurisé : calculer sur des données chiffrées ou privées (1)
Cours 13 nov 2025 09:30 à 11:00 Xavier Leroy Le calcul sécurisé : calculer sur des données chiffrées ou privées (2)
Séminaire 13 nov 2025 11:15 à 12:15 Xavier Leroy Le calcul sécurisé : calculer sur des données chiffrées ou privées (2)
Cours 20 nov 2025 09:30 à 11:00 Xavier Leroy Le calcul sécurisé : calculer sur des données chiffrées ou privées (3)
Séminaire 20 nov 2025 11:15 à 12:15 Xavier Leroy Le calcul sécurisé : calculer sur des données chiffrées ou privées (3)
Cours 27 nov 2025 09:30 à 11:00 Xavier Leroy Le calcul sécurisé : calculer sur des données chiffrées ou privées (4)
Séminaire 27 nov 2025 11:15 à 12:15 Xavier Leroy Le calcul sécurisé : calculer sur des données chiffrées ou privées (4)
Cours 04 déc 2025 09:30 à 11:00 Xavier Leroy Le calcul sécurisé : calculer sur des données chiffrées ou privées (5)
Séminaire 04 déc 2025 11:15 à 12:15 Xavier Leroy Le calcul sécurisé : calculer sur des données chiffrées ou privées (5)
Cours 11 déc 2025 09:30 à 11:00 Xavier Leroy Le calcul sécurisé : calculer sur des données chiffrées ou privées (6)
Séminaire 11 déc 2025 11:15 à 12:15 Xavier Leroy Le calcul sécurisé : calculer sur des données chiffrées ou privées (6)
Cours 18 déc 2025 09:30 à 11:00 Xavier Leroy Le calcul sécurisé : calculer sur des données chiffrées ou privées (7)
Séminaire 18 déc 2025 11:15 à 12:15 Xavier Leroy Le calcul sécurisé : calculer sur des données chiffrées ou privées (7)
Cours Le calcul sécurisé : calculer sur des données chiffrées ou privées Xavier Leroy 06 nov 2025 → 18 déc 2025 06 nov 2025 → 18 déc 2025
Séminaire Le calcul sécurisé : calculer sur des données chiffrées ou privées Xavier Leroy 06 nov 2025 → 18 déc 2025 06 nov 2025 → 18 déc 2025
Leçon inaugurale 18:00 - 19:00 Le logiciel, entre l'esprit et la matière Xavier Leroy 15 nov 2018 Amphithéâtre Marguerite de Navarre, Site Marcelin Berthelot 15 nov 2018 18:00 - 19:00
Cours Programmer = démontrer ? La correspondance de Curry-Howard aujourd'hui Xavier Leroy 21 nov 2018 → 30 jan 2019 21 nov 2018 → 30 jan 2019
Séminaire Programmer = démontrer ? La correspondance de Curry-Howard aujourd'hui Xavier Leroy 28 nov 2018 → 30 jan 2019 28 nov 2018 → 30 jan 2019
