TLLA-LINEARITY 2020
Program

(all schedules are given in CEST)

Monday, June 29th 2020

• 9:40 - 11:00: Session I
• Invited talk by Simona Ronchi Della Rocca. Program approximation in the call-by-value setting. [abstract]
• Masahito Hasegawa. A braided lambda calculus. [pdf]
• 11:00 - 11:30: Virtual Coffee Break
• 11:30 - 12:50: Session II
• Paolo Pistone. Proof nets and the instantiation overflow property. [pdf]
• Satoshi Matsuoka. A New Linear Time Correctness Condition for Multiplicative Linear Logic. [pdf]
• Matteo Acclavio. Exponentially Handsome Proof Nets. [pdf]
• Gianluca Curzi. Linear Additives. [pdf]
• 14:10 - 15:30: Session III
• Invited talk by Kaustuv Chaudhuri. Interactive Proof Building with Direct Manipulation for Linear Logic (and Cousins). [abstract]
• James Wood and Robert Atkey. A Linear Algebra Approach to Linear Metatheory. [pdf]
• 15:30 - 16:00: Virtual Coffee Break
• 16:00 - 17:00: Session IV
• Jack Hughes and Dominic Orchard. Deriving distributive laws for graded linear types. [pdf]
• Aubrey Bryant and Harley Eades III. The Graded Lambek Calculus. [pdf]
• Harley Eades III and Dominic Orchard. Grading Adjoint Logic. [pdf]

• 9:40 - 11:00: Session V
• Inivted talk by Shin-ya Katsumata. A Double Category Theoretic Analysis of Graded Linear Exponential Comonads. [abstract]
• Aleks Kissinger. MLL+MIX as a logic of influence and causation. [pdf]
• 11:00 - 11:30: Virtual Coffee Break
• 11:30 - 12:50: Session VI
• Alberto Naibo and Yuta Takahashi. Harmony in the Light of Computational Ludics. [pdf]
• Marie Kerjean. Polarities in topological vector spaces. [pdf]
• Christian Retoré. A self-dual modality for non-commutative contraction and duplication in the category of coherence space. [pdf]
• Giulio Guerrieri and Federico Olimpieri. Rigid Taylor Expansion and Intersection Type Distributors in the Bang Calculus. [pdf]
• 14:10 - 15:30: Session VII
• Invited talk by Olivier Laurent. Formalizing Linear Logic [abstract]
• Esaie Bauer and Olivier Laurent. Super Exponentials. [pdf]
• 15:30 - 16:00: Virtual Coffee Break
• 16:00 - 17:00: Session VIII
• Matteo Acclavio and Giulio Guerrieri. A Deep Inference System for Differential Linear Logic. [pdf]
• Marie Kerjean and Pierre-Marie Pédrot. ∂ is for Dialectica: typing differentiable programming. [pdf]
• Michael Shulman. *-Autonomous envelopes and conservativity. [pdf]