Trends in Linear Logic and Applications (TLLA) 2026
Lisbon, Portugal, 18 – 19 July 2026
Title: Linear and Monoidal Differential Turing Categories
International Category Theory Conference (CT) 2026 (Plenary Talk)
Baltimore, Maryland, USA, July 13 – 18, 2026
Title: Monoidal Differential Turing Categories
Foundational Methods in Computer Science (FMCS) 2026
Antigonish, Nova Scotia, Canada, June 15 – 19, 2026
Title: Linear Turing Categories: Their coKleisli and coEilenberg-Moore Categories, the Differential Case, and Examples (SLIDES)
Symposium on Differentiation in category theory and program semantics
Kyoto, Japan, April, 6 – 8 2026
Title: Monoidal Differential Turing Categories (SLIDES)
Applied Category Theory (ACT) 2023
College Park, Maryland, USA, July 31 – Aug. 4, 2023
Title: Message Passing Logic for Categorical Quantum Mechanics (VIDEO)