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 3 cycles Filtres Type d'enseignement Type d'enseignement Cours (2) Séminaire (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) Filtres actifs 2024 - 2025 2020 - 2021 2024 - 2025 Cours L'enseignement n'a pas lieu cette année Xavier Leroy 01 Sep 2024 01 Sep 2024 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
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
