en ¦ fr > Talks

Tutoriel MetaCoq

janvier 2024
Tutorials @ POPL
Yannick Forster, Meven Lennon-Bertrand, Matthieu Sozeau, Théo Winterhalter
Slides GitHub

Towards a certified proof assistant kernel – What it takes and what we have

décembre 2023
PPS Seminar, Proof and Algorithms Seminar @ LIX, Deducteam Seminar
Meven Lennon-Bertrand

J'ai donné un exposé similaire au séminaire du groupe Dependable Systems à Heriot Watt University en mars 2024.

Slides

Definitional Functoriality for Dependent (Sub)Types

décembre 2023
Formath Seminar
Théo Laurent, Meven Lennon-Bertrand, Kenji Maillard

J'ai donné un exposé similaire à SPLS en mars 2024.

Slides

Decidable Type-Checking for Bidirectional Martin-Löf Type Theory

juin 2023
TYPES
Neel Krishnaswami, Meven Lennon-Bertrand
Slides Résumé

Engineering Logical Relations for MLTT in Coq

juin 2023
TYPES
Arthur Adjedj, Meven Lennon-Bertrand, Kenji Maillard, Loïc Pujet
Résumé

Sous Licence Creative Commons CC0, source sur github. Développé avec Pelican. Thème adapté de pelican-svbhack par Giulio Fidente.