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 2021-2022 – Sécurité du logiciel : quel rôle pour les langages de programmation ? Publication numérique (OpenEdition) Télécharger le PDF pdf (804.51 Ko) 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)
