Adrienne Lancelot

/!\ Website in construction.

Research – Publications – Talks – Teaching – Misc

I am a postdoctoral researcher in the University of Bologna working with Ugo Dal Lago.

To email me: adrienne dot lancelot at unibo dot it

(lancelot at irif dot fr also still works)

(I also have an active inria email address)

(please avoid overusing/sharing my gmail address)

News

• See you at FLoC 2026! I will be presenting three contributed talks in the workshops GaLoP, ITRS and PERR.

• A long version of Mirroring Call-by-Need, or Values Acting Silly has been accepted in the FSCD 2024 special issue of LMCS.

• I am in the PC of CSL 2027.

Research

I work on untyped lambda-calculus and its variants, investigating operational and denotational semantics.

Postdoc (U. Bologna): some game semantics for now, and more to come on quantum computing.

PhD research: program equivalences in call-by-value lambda-calculi, quantitative program equivalence, formalization of results on the λ-calculus.

What I wish to learn more of: (operational) game semantics, models of the lambda-calculus, (verified) compilers, pi-calculus, realizability, fixed-point combinators, induction and coinduction, cyclic proofs…

Papers

In proceedings

• Interaction Improvement — Lancelot, Manzonetto, McCusker and Vanoni, FoSSaCS 2026 (paper at publisher’s, preferred version with proofs)

• Barendregt’s Theory of the Lambda-Calculus, Refreshed and Formalized — Lancelot, Accattoli and Vemclefs, ITP 2025 (paper — formalization) Results formalized in the Abella proof assistant.

• Separating Terms by Means of Multi Types, Coinductively — Lancelot, post-proceedings of TYPES 2024 (paper)

• Interaction Equivalence — Accattoli, Lancelot, Manzonetto and Vanoni, POPL 2025 (paper — with proofs)

• Mirroring Call-by-Need, or Values Acting Silly — Accattoli and Lancelot, FSCD 2024 (paper — with proofs)

• Light Genericity — Accattoli and Lancelot, FoSSaCS 2024 (paper — with proofs)

PhD Thesis

• Comparing functional programs, or how to put λ-terms back in order — Lancelot (hal-theses)

Preprints

• Normal Form Bisimulations by Value — Accattoli, Lancelot and Faggian (technical report)

Talks

Upcoming

• June 25th — Chocola seminar — A Simple Formal Proof of the Genericity Lemma
• July 18th, 19th, 24th – talks in GaLoP, ITRS and PERR

Miscellaneous

• November 13 2025 — PhD Defense (slides)
• October 29 2025 — GT Scalp days — talk titled Constructive Contextual Equivalence?

Interaction Improvement

• April 15th — 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

• September 29 2025 — ITP25 (slides — video)
• September 8 2025 — Formath seminar

Interaction Equivalence

• March 23rd 2026 — séminaire du LACL, Créteil (slides)
• January 21 2026 — BOTSS Seminar, Bologna, Italy (slides)
• July 20 2025 — Invited Talk at GaLoP, workshop of FSCD25 in Birmingham (slides)
• May 26 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)

Teaching / Enseignement

I am giving lab lectures for the Introduction to Quantum Computing class at the University of Bologna.

I taught at undergraduate level in the UFR d’informatique at Université Paris Cité during my PhD 2022–2025.

Miscellaneous

Reviewing

Program Committees:

• 2027: PC member of CSL 2027
• 2026: PC member of GALOP 2026 and TLLA 2026

External Reviewer:

• 2026: FoSSaCS 2026, Journal of Logic and Computation, ICFP 2026, Wollic 2026

Conference Organization

• 2025, January: student volunteer helping for JFLA2025
• 2024, June: co-organizer of the PPS days
• 2024, January: student volunteer at POPL24, London

Student Representative Involvement

• 2022–2025: Elected Representative for PhD students and PostDocs in IRIF (Conseil de Labo IRIF)
• 2021–2023: Elected Student Representative at Université Paris Cité (Conseil d’UFR Mathématiques, Conseil de Faculté des Sciences, Sénat Académique)
• 2017–2019: Elected Classe Préparatoires Student Representative at Lycée Janson de Sailly, Paris (Conseil d’Administration)

_{My coaster-count is 165. (updated August 30th 2025)}

Credit to Mariana Milicich for the ^?_?lambda^?_? picture.