Adrienne Lancelot
⌂ – Research – Publications – Talks – Teaching – Service
Upcoming
- November 12th 2026 — Collège de France
- Whe(n/r)ever you invite me!
Miscellaneous
- July 19th 2026 — GaLoP — talk titled Takahashi’s Gambit: Avoiding Context Lemmas in Operational Game Semantics
- November 13th 2025 — PhD Defense (slides)
- October 29th 2025 — GT Scalp days — talk titled Constructive Contextual Equivalence?
Interaction Improvement
- July 18th 2026 — ITRS (slides)
- April 15th 2026 — FoSSaCS 2026 in Torino, Italy (slides — poster)
- November 17 2025 — GdT Plume Seminar, ENS Lyon (slides, talk titled Interaction Equivalence and Improvement)
Barendregt’s Theory of the λ-Calculus, Refreshed and Formalized
- June 25th 2026 — Chocola seminar — (slides, talk titled A Simple Formal Proof of the Genericity Lemma)
- September 29th 2025 — ITP25 (slides — video)
- September 8th 2025 — Formath seminar
Interaction Equivalence
- July 24th 2026 — PERR (slides)
- March 23rd 2026 — séminaire du LACL, Créteil (slides)
- January 21st 2026 — BOTSS Seminar, Bologna, Italy (slides)
- July 20th 2025 — Invited Talk at GaLoP, workshop of FSCD25 in Birmingham (slides)
- May 26th 2025 — Invited Talk at the Advances in Interactive and Quantitative Semantics workshop (slides)
- January 24th 2025 — POPL25 (slides — video)
- November 21st 2024 — Chocola Seminar (slides)
- November 18th 2024 — GT Scalp (slides, also mentioning WIP with lazy call-by-name)
- November 14th 2024 — GT Syntax Meets Semantics
- June 25th 2024 — Journées PPS 2024 (titled Towards a Quantitative Contextual Equivalence, slides)
Separating Terms by Means of Multi Types, Coinductively
- June 5th 2025 — WRQT2025 (slides)
- July 9th 2024 — ITRS24 (titled Separating Terms through Multi Types, abstract — slides)
Mirroring Call-by-Need, or Values Acting Silly
- July 1st 2025 — Journées PPS (slides)
- July 13th 2024 — FSCD 2024 in Tallinn, Estonia (slides)
- June 6th 2024 — GT Syntax Meets Semantics (slides)
Light Genericity
- May 21st — LSC, LIS, Marseille (slides, talk titled Minimum and Maximum λ-Terms)
- April 10th 2024 — FoSSaCS 2024, Luxembourg (slides)
- February 22nd 2024 — Séminaire PPS (slides)
- November 28th 2023 — GT Scalp Days
Normal Form Bisimulations by Value
- March 7th 2024 — Séminaire LIMD (slides)
- January 14th 2024 — GALOP24, workshop of POPL24 in London (slides)
- November 21st 2023 — University of Birmingham (slides)
- November 6th 2023 — Theory Lunch at Queen Mary University of London (informal whiteboard talk titled Syntactical Program Equivalence)
- October 5th 2023 — Séminaire Love (slides)
- June 12th 2023 — TYPES23 (slides)
- May 11th 2023 — Chocola (slides)
- October 19th 2022 — GT Syntax Meets Semantics (talk titled Open Call-by-Value and Open Similarity)