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