FLOC 2022: FEDERATED LOGIC CONFERENCE 2022
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
Location: Ullmann 302
14:30
Recursive Session Logical Relations (abstract)
15:30-16:00Coffee Break
16:00-17:30 Session 19K
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
09:30-10:30 Session 28C
Location: Ullmann 302
09:30
A coherent differential PCF (abstract)
10:30-11:00Coffee Break
11:00-12:30 Session 31P
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
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:30-20:00Workshop Dinner (at the Technion, Taub Terrace Floor 2) - Paid event