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.