| 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 |