TLLA — PROGRAM
Days: Saturday, 18 July 2026 Sunday, 19 July 2026
Saturday, 18 July 2026
09:00-10:30
Ugo Dal Lago (Invited Tutorial, joint with ITRS)
TLLA
Session Chair:
Location:
C5.07
| 09:00-10:30 |
Quantitative Typing Across Effects, Machines, and Notions of Cost (abstract) 90 min
1 Università di Bologna
|
10:30-11:00
Coffee Break
TLLA
Location:
C5.07
11:00-12:40
S1.2
TLLA
Session Chair:
Location:
C5.07
| 11:00-11:25 |
Classical Linear Logic is not Conservative over System F (abstract) 25 min
1 CNRS - ENS Lyon
|
| 11:25-11:50 |
Confluence Modulo and Undecidability of Cut-Elimination (abstract) 25 min
1 Université Paris Cité, Inria, CNRS, IRIF, F-75013, Paris, France
|
| 11:50-12:15 |
On the role of connectivity in Linear Logic proofs (abstract) 25 min
1 Université Paris Cité (IRIF), Università Roma Tre
2 Università Roma Tre
|
| 12:15-12:40 |
A story of tensorial logic with two negations (abstract) 25 min
1 CNRS, Université Paris Cité, INRIA
|
12:40-14:00
Lunch
TLLA
Location:
C5.07
14:00-15:00
Brigitte Pientka (Invited)
TLLA
Session Chair:
Location:
C5.07
| 14:00-15:00 |
Mechanizing Substructural Systems: Challenges and Lessons Learned (abstract) 60 min
1 McGill University
|
15:00-15:25
S4.1
TLLA
Session Chair:
Location:
C5.07
| 15:00-15:25 |
From linear types to relational higher-order logic for analyzing program sensitivity (abstract) 25 min
1 Cristal, INRIA LIlle, Université de Lille
2 CNRS, Université de Lille
|
15:25-16:00
Coffee Break
TLLA
Location:
C5.07
16:00-17:15
S4
TLLA
Session Chair:
Location:
C5.07
| 16:00-16:25 |
A Linear Logic for Fixpoints and Deadlock Freedom in the Pi-Calculus (abstract) 25 min
1 University of Groningen
2 CNRS, LIPN, Université Sorbonne Paris Nord
|
| 16:25-16:50 |
From Phase Semantics to Base-extension Semantics (and back) (abstract) 25 min
1 University College London
|
| 16:50-17:15 |
Adapted Pairs and Logical Relations in Linear Logic (abstract) 25 min
1 Università Roma Tre
|
Sunday, 19 July 2026
09:00-10:00
Hugo Paquet (Invited, joint with Galop)
TLLA
Session Chair:
Location:
C5.07
| 09:00-10:00 |
Concurrency in linear and non-linear game semantics (abstract) 60 min
1 INRIA Paris
|
10:00-10:30
Coffee Break
TLLA
Location:
C5.07
10:30-11:20
S2.1
TLLA
Session Chair:
Location:
C5.07
| 10:30-10:55 |
Internal Models of Linear Type Theories (abstract) 25 min
1 University of Birmingham
2 Radboud University
3 Eötvös Loránd University
|
| 10:55-11:20 |
Linear and Monoidal Differential Turing Categories (abstract) 25 min
1 University of Pennsylvania
2 Macquarie University
|
11:25-12:40
S2
TLLA
Session Chair:
Location:
C5.07
| 11:25-11:50 |
An Algebraic View on the Linear Lambda Calculus (abstract) 25 min
1 Université Paris Cité, CNRS, IRIF
|
| 11:50-12:15 |
The lambda calculus as a 2-dimensional operad (abstract) 25 min
1 Aix-Marseille Université
|
| 12:15-12:40 |
Multicategories and representability for substructural intuitionistic modal logics (abstract) 25 min
1 Tallinn University of Technology
2 Reykjavik University and Tallinn University of Technology
|
12:40-14:00
Lunch
TLLA
Location:
C5.07
14:00-15:00
Lison Blondeau-Patissier (Invited)
TLLA
Session Chair:
Location:
C5.07
| 14:00-15:00 |
Game Semantics of Extensional Taylor Expansion (abstract) 60 min
1 ENS Lyon
|
15:00-15:25
S3.1
TLLA
Session Chair:
Location:
C5.07
| 15:00-15:25 |
Generating Functions for Probabilistic Programs via the Weighted Relational Model of Linear Logic (abstract) 25 min
1 University of Bologna and INRIA Sophia Antipolis
2 Université Claude Bernard Lyon 1
|
15:25-16:00
Coffee Break
TLLA
Location:
C5.07
16:00-17:15
S3.2
TLLA
Session Chair:
Location:
C5.07
| 16:00-16:25 |
Semi-quantitative semantics (abstract) 25 min
1 CNRS
2 Tallinn University of Technology
3 Aix-Marseille Univ.
|
| 16:25-16:50 |
The Reasonable Effectiveness of Linear Logic in Quantitative Methods (abstract) 25 min
1 University of Strathclyde
2 Independent Researcher
|
| 16:50-17:15 |
Syntactic linearity and Linear hyperdoctrines for second-order intuitionistic Linear Logic (abstract) 25 min
1 Université de Lorraine, Inria
2 Universidad de la República, FIng, Uruguay
3 Universidad de Buenos Aires, DC
4 ICC, Argentina & Universidad de la República, FIng, Uruguay
5 LORIA, France & Universidad de la República, FIng, Uruguay
|