Xavier Leroy Résumés annuels Sciences du logiciel Résumés annuels 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 Copier le lien
La chaire Biographie et publications Enseignements Conférenciers invités Résumés annuels Audios & vidéos Actualités Résumés des cours et séminaires du professeur 2020-2021 – Logiques de programmes : quand la machine raisonne sur ses logiciels Publication numérique (OpenEdition) Télécharger le PDF pdf (1.38 Mo) 2019-2020 – Sémantiques mécanisées : quand la machine raisonne sur ses langages Publication numérique (OpenEdition) Télécharger le PDF pdf (633.78 Ko) 2018-2019 – Programmer = démontrer ? La correspondance de Curry-Howard aujourd’hui Publication numérique (OpenEdition) Télécharger le PDF pdf (671.02 Ko)