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 Séminaire du 23 Mar 2023 → 20 avr 2023 Séminaire Xavier Leroy Structures de données persistantes 2021 - 2022 Séminaire du 17 Mar 2022 → 21 avr 2022 Séminaire Xavier Leroy Sécurité du logiciel : quel rôle pour les langages de programmation ? 2020 - 2021 Séminaire du 11 Mar 2021 → 15 avr 2021 Séminaire Xavier Leroy Logiques de programmes : quand la machine raisonne sur ses logiciels 2019 - 2020 Séminaire du 12 déc 2019 → 13 fév 2020 Séminaire Xavier Leroy Sémantiques mécanisées : quand la machine raisonne sur ses langages 2018 - 2019 Séminaire du 28 nov 2018 → 30 jan 2019 Séminaire Xavier Leroy Programmer = démontrer ? La correspondance de Curry-Howard aujourd'hui
Séminaire du 17 Mar 2022 → 21 avr 2022 Séminaire Xavier Leroy Sécurité du logiciel : quel rôle pour les langages de programmation ?
Séminaire du 11 Mar 2021 → 15 avr 2021 Séminaire Xavier Leroy Logiques de programmes : quand la machine raisonne sur ses logiciels
Séminaire du 12 déc 2019 → 13 fév 2020 Séminaire Xavier Leroy Sémantiques mécanisées : quand la machine raisonne sur ses langages
Séminaire du 28 nov 2018 → 30 jan 2019 Séminaire Xavier Leroy Programmer = démontrer ? La correspondance de Curry-Howard aujourd'hui