VSL 2014: VIENNA SUMMER OF LOGIC 2014
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:
Iliano Cervesato
Location: FH, Seminarraum 136
08:45
Elaine Pimentel
Modalities and Linearity (abstract)
09:45
Simona Ronchi Della Rocca, Antonio Bucciarelli and Delia Kesner
The inhabitation problem for non-idempotent intersection (abstract)
10:15-10:45Coffee Break
10:45-12:45 Session 26B
Chair:
Luca Paolini
Location: FH, Seminarraum 136
10:45
Kaustuv Chaudhuri
Undecidability of Multiplicative Subexponential Logic (abstract)
11:15
Zachary Sparks and Amr Sabry
Superstructural Reversible Logic (abstract)
11:45
Jennifer Paykin and Steve Zdancewic
A Linear/Producer/Consumer model of Classical Linear Logic (abstract)
12:15
Taus Brock-Nannestad and Nicolas Guenot
Cut Elimination in Multifocused Linear Logic (abstract)
13:00-14:30Lunch Break
14:30-16:00 Session 31A
Chair:
Sandra Alves
Location: FH, Seminarraum 136
14:30
Ian Mackie
Continuations, closed reduction and process networks (abstract)
15:30
Edward Gan, Jesse A. Tov and Greg Morrisett
Type Classes for Lightweight Substructural Types (abstract)
16:00-16:30Coffee Break
16:30-18:30 Session 34B
Chair:
Simona Ronchi Della Rocca
Location: FH, Seminarraum 136
16:30
Michele Basaldella
Ludics without Designs I: Triads (abstract)
17:00
Ugo Dal Lago and Margherita Zorzi
Wave-Style Token Machines and Quantum Lambda Calculi (abstract)
17:30
Marco Solieri
Geometry of Resource Interaction – A Minimalist Approach (abstract)
18:00
Giulio Guerrieri and Lorenzo Tortora De Falco
A new point of view on the Taylor expansion of proof-nets and uniformity (abstract)