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 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 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 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 Sécurité du logiciel : quel rôle pour les langages de programmation ? Séminaire du 17 Mar 2022 → 21 avr 2022 Séminaire Sécurité du logiciel : quel rôle pour les langages de programmation ? Colloque du 29 juin 2022 → 30 juin 2022 Colloque Probabilistic Programming 2020 - 2021 Cours du 04 Mar 2021 → 15 avr 2021 Cours Logiques de programmes : quand la machine raisonne sur ses logiciels Séminaire du 11 Mar 2021 → 15 avr 2021 Séminaire Logiques de programmes : quand la machine raisonne sur ses logiciels 2019 - 2020 Cours du 28 nov 2019 → 13 fév 2020 Cours 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 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 Le logiciel, entre l'esprit et la matière Cours du 21 nov 2018 → 30 jan 2019 Cours Programmer = démontrer ? La correspondance de Curry-Howard aujourd'hui Séminaire du 28 nov 2018 → 30 jan 2019 Séminaire Programmer = démontrer ? La correspondance de Curry-Howard aujourd'hui
Cours du 09 Mar 2023 → 20 avr 2023 Cours 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 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 Sécurité du logiciel : quel rôle pour les langages de programmation ?
Séminaire du 17 Mar 2022 → 21 avr 2022 Séminaire Sécurité du logiciel : quel rôle pour les langages de programmation ?
Cours du 04 Mar 2021 → 15 avr 2021 Cours Logiques de programmes : quand la machine raisonne sur ses logiciels
Séminaire du 11 Mar 2021 → 15 avr 2021 Séminaire Logiques de programmes : quand la machine raisonne sur ses logiciels
Cours du 28 nov 2019 → 13 fév 2020 Cours 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 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 Le logiciel, entre l'esprit et la matière
Cours du 21 nov 2018 → 30 jan 2019 Cours Programmer = démontrer ? La correspondance de Curry-Howard aujourd'hui
Séminaire du 28 nov 2018 → 30 jan 2019 Séminaire Programmer = démontrer ? La correspondance de Curry-Howard aujourd'hui
