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 16 cycles Filtres Type d'enseignement Type d'enseignement Cours (7) Séminaire (6) Colloque (2) Leçon inaugurale (1) Année académique Année académique 2024 - 2025 (1) 2023 - 2024 (3) 2022 - 2023 (2) 2021 - 2022 (3) 2020 - 2021 (2) 2019 - 2020 (2) 2018 - 2019 (3) 2024 - 2025 Cours L'enseignement n'a pas lieu cette année Xavier Leroy 01 Sep 2024 01 Sep 2024 2023 - 2024 Colloque L'IA et ses défis Philippe Aghion, Xavier Leroy, Benoît Sagot 28 Sep 2023 28 Sep 2023 Cours Structures de contrôle : de « goto » aux effets algébriques Xavier Leroy 25 jan 2024 → 14 Mar 2024 25 jan 2024 → 14 Mar 2024 Séminaire Structures de contrôle : de « goto » aux effets algébriques Xavier Leroy 08 fév 2024 → 14 Mar 2024 08 fév 2024 → 14 Mar 2024 2022 - 2023 Cours Structures de données persistantes Xavier Leroy 09 Mar 2023 → 20 avr 2023 09 Mar 2023 → 20 avr 2023 Séminaire Structures de données persistantes Xavier Leroy 23 Mar 2023 → 20 avr 2023 23 Mar 2023 → 20 avr 2023 2021 - 2022 Cours Sécurité du logiciel : quel rôle pour les langages de programmation ? Xavier Leroy 10 Mar 2022 → 21 avr 2022 10 Mar 2022 → 21 avr 2022 Séminaire Sécurité du logiciel : quel rôle pour les langages de programmation ? Xavier Leroy 17 Mar 2022 → 21 avr 2022 17 Mar 2022 → 21 avr 2022 Colloque Probabilistic Programming Xavier Leroy 29 juin 2022 → 30 juin 2022 29 juin 2022 → 30 juin 2022 2020 - 2021 Cours Logiques de programmes : quand la machine raisonne sur ses logiciels Xavier Leroy 04 Mar 2021 → 15 avr 2021 04 Mar 2021 → 15 avr 2021 Séminaire Logiques de programmes : quand la machine raisonne sur ses logiciels Xavier Leroy 11 Mar 2021 → 15 avr 2021 11 Mar 2021 → 15 avr 2021 2019 - 2020 Cours Sémantiques mécanisées : quand la machine raisonne sur ses langages Xavier Leroy 28 nov 2019 → 13 fév 2020 28 nov 2019 → 13 fév 2020 Séminaire Sémantiques mécanisées : quand la machine raisonne sur ses langages Xavier Leroy 12 déc 2019 → 13 fév 2020 12 déc 2019 → 13 fév 2020 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 Structures de contrôle : de « goto » aux effets algébriques Xavier Leroy 25 jan 2024 → 14 Mar 2024 25 jan 2024 → 14 Mar 2024
Séminaire Structures de contrôle : de « goto » aux effets algébriques Xavier Leroy 08 fév 2024 → 14 Mar 2024 08 fév 2024 → 14 Mar 2024
Cours Structures de données persistantes Xavier Leroy 09 Mar 2023 → 20 avr 2023 09 Mar 2023 → 20 avr 2023
Séminaire Structures de données persistantes Xavier Leroy 23 Mar 2023 → 20 avr 2023 23 Mar 2023 → 20 avr 2023
Cours Sécurité du logiciel : quel rôle pour les langages de programmation ? Xavier Leroy 10 Mar 2022 → 21 avr 2022 10 Mar 2022 → 21 avr 2022
Séminaire Sécurité du logiciel : quel rôle pour les langages de programmation ? Xavier Leroy 17 Mar 2022 → 21 avr 2022 17 Mar 2022 → 21 avr 2022
Colloque Probabilistic Programming Xavier Leroy 29 juin 2022 → 30 juin 2022 29 juin 2022 → 30 juin 2022
Cours Logiques de programmes : quand la machine raisonne sur ses logiciels Xavier Leroy 04 Mar 2021 → 15 avr 2021 04 Mar 2021 → 15 avr 2021
Séminaire Logiques de programmes : quand la machine raisonne sur ses logiciels Xavier Leroy 11 Mar 2021 → 15 avr 2021 11 Mar 2021 → 15 avr 2021
Cours Sémantiques mécanisées : quand la machine raisonne sur ses langages Xavier Leroy 28 nov 2019 → 13 fév 2020 28 nov 2019 → 13 fév 2020
Séminaire Sémantiques mécanisées : quand la machine raisonne sur ses langages Xavier Leroy 12 déc 2019 → 13 fév 2020 12 déc 2019 → 13 fév 2020
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
