LINEARITY PROGRAM
Sunday, July 13th, 2014
View this program: with abstractssession overviewtalk overviewside by side with other conferences
08:45-10:15 Session 22A
Chair:
Location: FH, Seminarraum 136
08:45 | Modalities and Linearity (abstract) |
09:45 | The inhabitation problem for non-idempotent intersection (abstract) |
10:15-10:45Coffee Break
10:45-12:45 Session 26B
Chair:
Location: FH, Seminarraum 136
10:45 | Undecidability of Multiplicative Subexponential Logic (abstract) |
11:15 | Superstructural Reversible Logic (abstract) |
11:45 | A Linear/Producer/Consumer model of Classical Linear Logic (abstract) |
12:15 | Cut Elimination in Multifocused Linear Logic (abstract) |
13:00-14:30Lunch Break
14:30-16:00 Session 31A
Chair:
Location: FH, Seminarraum 136
14:30 | Continuations, closed reduction and process networks (abstract) |
15:30 | Type Classes for Lightweight Substructural Types (abstract) |
16:00-16:30Coffee Break
16:30-18:30 Session 34B
Chair:
Location: FH, Seminarraum 136
16:30 | Ludics without Designs I: Triads (abstract) |
17:00 | Wave-Style Token Machines and Quantum Lambda Calculi (abstract) |
17:30 | Geometry of Resource Interaction – A Minimalist Approach (abstract) |
18:00 | A new point of view on the Taylor expansion of proof-nets and uniformity (abstract) |