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
Chair:
Location: Blavatnik Seminar Room 1
| 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
Chair:
Location: Blavatnik Seminar Room 1
| 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
Chair:
Location: Blavatnik Seminar Room 1
| 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
Chair:
Location: Blavatnik Seminar Room 1
| 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
Chair:
Location: Blavatnik Seminar Room 1
| 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
Chair:
Location: Blavatnik Seminar Room 1
| 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
Chair:
Location: Blavatnik Seminar Room 1
| 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 42K
Chair:
Location: Blavatnik Seminar Room 1
| 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) |