LINEARITY 2009 Programme

Saturday 12 September 2009

Time Event
08:45-09:00 Welcome
9:00-10:00 Invited talk: Linearly-used Continuations and Self-duality
Alex Simpson, LFCS, School of Informatics, University of Edinburgh
10:00-10:30 Categorical Models for a Semantically Linear lambda-calculus
Marco Gaboardi and Mauro Piccolo
10:30-11:00 Coffee Break
11:00-12:00 Invited talk: Linearity and non-determinism: the full resource lambda calculus
Simona Ronchi Della Rocca, University of Torino
12:00-12:30 Resource-bound quantification for graph transformation
Paolo Torrini and Reiko Heckel
12:30-14:00 Lunch
14:00-15:00 Invited talk: Invariant cost models for rewriting-based languages
Simone Martini, University of Bologna
15:00-15:30 Uniqueness Typing for Resource Management in Message-Passing Concurrency
Adrian Francalanza, Edsko de Vries and Matthew Hennessy
15:30-16:00 Coffee
16:00-16:30 On linear information systems
Antonio Bucciarelli, Alberto Carraro, Thomas Ehrhard and Antonino Salibra
16:30-17:00 Labelled lambda-calculi with explicit copy and erase
Maribel Fernandez and Nikolaos Siafakas

End of Workshop