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 5 cycles Filtres Type d'enseignement Type d'enseignement Cours (2) Séminaire (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) Filtres actifs 2019 - 2020 2018 - 2019 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 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
