Academic Presentations
A collection of my academic presentations on transcendental syntax, geometry of interaction, and related topics.
Recent Presentations
- Introduction à la Géométrie de l’Interaction. ReFL seminar, February 2023 (online), 35min.
PhD-related Presentations
- Transcendental Syntax: a toolbox for the interface logic-computation. GT Scalp. November 2021 Fontainbleau, 20min.
- A technical reading of the Transcendental Syntax. LDP Seminar. September 2021 Marseille, 90min.
- Entretien de suivi de thèse. September 2021 Villetaneuse, 30min.
- A gentle introduction to Girard’s Transcendental Syntax. TLLA 2021, June 2021 Roma (online), 15min. [Extended abstract]
- From computation to a reconstruction of (linear) logic. Midlands Graduate School 2021, April 2021 Midlands (online), 10-15min.
- Transcendental Syntax - The dynamics of logic programs and tilings, applied to Linear Logic. LIPN Seminar, March 2021 Villetaneuse (online), 70-80min.
- A taste of Girard’s Transcendental Syntax. Workshop Proof-Nets, January 2021 Montpellier (online), 20min.