Partager Facebook Twitter Linkedin Copier le lien Xavier Leroy Cours, séminaires, colloques Sciences du logiciel
Cours, séminaires, colloques La chaire Biographie et publications Cours, séminaires, colloques Conférenciers invités Résumés annuels Flux RSS Podcasts Apple Podcasts Spotify Flux RSS Podcast Type de cycle Tout Cours Séminaire Colloque Leçon inaugurale 2022 - 2023 Cours du 09 Mar 2023 → 20 avr 2023 Cours Xavier Leroy Structures de données persistantes 2021 - 2022 Cours du 10 Mar 2022 → 21 avr 2022 Cours Xavier Leroy Sécurité du logiciel : quel rôle pour les langages de programmation ? 2020 - 2021 Cours du 04 Mar 2021 → 15 avr 2021 Cours Xavier Leroy Logiques de programmes : quand la machine raisonne sur ses logiciels 2019 - 2020 Cours du 28 nov 2019 → 13 fév 2020 Cours Xavier Leroy Sémantiques mécanisées : quand la machine raisonne sur ses langages 2018 - 2019 Cours du 21 nov 2018 → 30 jan 2019 Cours Xavier Leroy Programmer = démontrer ? La correspondance de Curry-Howard aujourd'hui
Cours du 10 Mar 2022 → 21 avr 2022 Cours Xavier Leroy Sécurité du logiciel : quel rôle pour les langages de programmation ?
Cours du 04 Mar 2021 → 15 avr 2021 Cours Xavier Leroy Logiques de programmes : quand la machine raisonne sur ses logiciels
Cours du 28 nov 2019 → 13 fév 2020 Cours Xavier Leroy Sémantiques mécanisées : quand la machine raisonne sur ses langages
Cours du 21 nov 2018 → 30 jan 2019 Cours Xavier Leroy Programmer = démontrer ? La correspondance de Curry-Howard aujourd'hui
