TLLA-LINEARITY PROGRAM
Days: Sunday, July 31st Monday, August 1st
Sunday, July 31st
View this program: with abstractssession overviewtalk overviewside by side with other conferences
08:30-09:00Coffee & Refreshments
10:30-11:00Coffee Break
12:30-14:00Lunch Break
Lunches will be held in Taub hall and in The Grand Water Research Institute.
14:30-15:30 Session 15B
Chair:
Location: Ullmann 302
14:30 | Recursive Session Logical Relations (abstract) |
15:30-16:00Coffee Break
16:00-17:30 Session 19K
Chair:
Location: Ullmann 302
16:00 | Copromotion and Taylor Approximation (Work in Progress) (abstract) PRESENTER: Jean-Simon Lemay |
16:30 | Denotational semantics driven simplicial homology? (abstract) |
17:00 | Bottom-Up Sequentialization of Unit-Free MALL Proof Nets (abstract) PRESENTER: Rémi Di Guardia |
Monday, August 1st
View this program: with abstractssession overviewtalk overviewside by side with other conferences
08:30-09:00Coffee & Refreshments
10:30-11:00Coffee Break
11:00-12:30 Session 31P
Chair:
Location: Ullmann 302
11:00 | Dissymetrical Linear Logic (abstract) |
11:30 | Parametric Chu Translation (abstract) |
12:00 | Peano Arithmetic and muMALL: An extended abstract (abstract) PRESENTER: Dale Miller |
12:30-14:00Lunch Break
Lunches will be held in Taub hall and in The Grand Water Research Institute.
14:00-15:30 Session 34P
Chair:
Location: Ullmann 302
14:00 | The Call-by-Value Lambda-Calculus from a Linear Logic Perspective (abstract) |
15:00 | Cloning and Deleting Quantum Information from a Linear Logical Point of View (abstract) |
15:30-16:00Coffee Break
18:00-19:00 Session 42: A session to honor 100 years since the birth of the late Boris (Boaz) Trakhtenbrot
Chair:
Location: Taub 1
18:30-20:00Workshop Dinner (at the Technion, Taub Terrace Floor 2) - Paid event