Collège de France

  • menu
  • FR
  • EN
  • 2021-2022 Sécurité du logiciel : quel rôle pour les langages de programmation ?
  • 2020-2021 Logiques de programmes : quand la machine raisonne sur ses logiciels
  • 2019-2020 Sémantiques mécanisées : quand la machine raisonne sur ses langages
  • 2018-2019 Programmer = démontrer ? La correspondance de Curry-Howard aujourd'hui