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 Bluesky Threads 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)
