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 Podcast Apple Podcast 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 Rien ne se perd, tout se crée : les structures de données fonctionnelles ou persistantes Séminaire du 09 Mar 2023 → 20 avr 2023 Séminaire Xavier Leroy Rien ne se perd, tout se crée : les structures de données fonctionnelles ou 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 ? 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 ? Colloque du 29 juin 2022 → 30 juin 2022 Colloque Xavier Leroy Probabilistic Programming 2020 - 2021 Cours du 04 Mar 2021 → 15 avr 2021 Cours Xavier Leroy Logiques de programmes : quand la machine raisonne sur ses logiciels 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 Cours du 28 nov 2019 → 13 fév 2020 Cours Xavier Leroy Sémantiques mécanisées : quand la machine raisonne sur ses langages 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 Leçon inaugurale 15 nov 2018 18:00 - 19:00 Leçon inaugurale Xavier Leroy Le logiciel, entre l'esprit et la matière Cours du 21 nov 2018 → 30 jan 2019 Cours Xavier Leroy Programmer = démontrer ? La correspondance de Curry-Howard aujourd'hui Séminaire du 28 nov 2018 → 30 jan 2019 Séminaire Xavier Leroy Programmer = démontrer ? La correspondance de Curry-Howard aujourd'hui
Cours du 09 Mar 2023 → 20 avr 2023 Cours Xavier Leroy Rien ne se perd, tout se crée : les structures de données fonctionnelles ou persistantes
Séminaire du 09 Mar 2023 → 20 avr 2023 Séminaire Xavier Leroy Rien ne se perd, tout se crée : les structures de données fonctionnelles ou persistantes
Cours du 10 Mar 2022 → 21 avr 2022 Cours Xavier Leroy Sécurité du logiciel : quel rôle pour les langages de programmation ?
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 ?
Cours du 04 Mar 2021 → 15 avr 2021 Cours Xavier Leroy Logiques de programmes : quand la machine raisonne sur ses logiciels
Séminaire du 11 Mar 2021 → 15 avr 2021 Séminaire 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
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
Leçon inaugurale 15 nov 2018 18:00 - 19:00 Leçon inaugurale Xavier Leroy Le logiciel, entre l'esprit et la matière
Cours du 21 nov 2018 → 30 jan 2019 Cours Xavier Leroy Programmer = démontrer ? La correspondance de Curry-Howard aujourd'hui
Séminaire du 28 nov 2018 → 30 jan 2019 Séminaire Xavier Leroy Programmer = démontrer ? La correspondance de Curry-Howard aujourd'hui