FLOC 2018: FEDERATED LOGIC CONFERENCE 2018
LINEARITY/TLLA PROGRAM

Days: Saturday, July 7th Sunday, July 8th

Saturday, July 7th

View this program: with abstractssession overviewtalk overviewside by side with other conferences

09:00-10:30 Session 23I
09:00
Substructural Calculi with Dependent Types (abstract)
09:20
On the Lambek Calculus with an Exchange Modality (abstract)
09:55
The Bang Calculus and the Two Girard's Translations (abstract)
10:30-11:00Coffee Break
11:00-12:35 Session 26J
11:00
Termination of lambda-calculus linearization methods (abstract)
12:00
Taking Linear Logic Apart (abstract)
12:30-14:00Lunch Break
14:00-15:30 Session 28H
14:00
The structure of non decomposable connectives of linear logic (abstract)
14:20
On the Taylor expansion of λ-terms and the groupoid structure of their rigid approximants (abstract)
14:55
From Linear Logic to Cyclic Sharing (abstract)
15:30-16:00Coffee Break
16:00-18:10 Session 31J
16:00
Applying linear logic semantics to probabilistic programming (abstract)
17:00
Proof nets, coends and the Yoneda isomorphism (abstract)
17:35
Quantum programming made easy (abstract)
19:45-22:00 Workshops dinner at Balliol College

Workshops dinner at Balliol College. Drinks reception from 7.45pm, to be seated by 8:15 (pre-booking via FLoC registration system required; guests welcome).

Location: Balliol College
Sunday, July 8th

View this program: with abstractssession overviewtalk overviewside by side with other conferences

09:00-10:30 Session 34J
09:00
Towards a Functional Language for Species of Structures (abstract)
09:20
How to count linear and affine closed lambda terms? (abstract)
09:55
Entropy and Complexity Lower Bounds (abstract)
10:30-11:00Coffee Break
11:00-12:30 Session 38K
11:00
Infinitary Proof Theory: the Multiplicative Additive Case (abstract)
12:00
Models of Linear Logic based on the Schwartz epsilon product (abstract)
12:30-14:00Lunch Break
14:00-15:30 Session 40L
14:00
Generalized generalized species of structure and resource modalities (abstract)
14:20
Benchmarking Linear Logic Translations (abstract)
14:55
Coherent interaction graphs: a nondeterministic geometry of interaction for MLL (abstract)
15:30-16:00Coffee Break
16:00-18:00 Session 41K
16:00
A shared memory semantics for session types (abstract)
17:00
A semantic conjecture on second-order MLL and its complexity consequences (work in progress) (abstract)
17:20
Formalization of Automated Trading Systems in a Concurrent Linear Framework (abstract)