Past edition

Programme

Invited speakers:
  • Ugo Dal Lago
  • Simon Gay
See below a preliminary timetable. A pdf of the draft programme is available here.
The draft proceedings are available here.
Time Event
09:00-09:15 Registration
09:15-09:30
Welcome
09:30-10:30 Invited talk : The Geometry of Types
Ugo Dal Lago, University of Bologna
10:30-11:00 Coffee Break
11:00-11:30 Standardization in Resource lambda Calculus
Maurizio Dominici, Simona Ronchi Della Rocca and Paolo Tranquill
11:30-12:00Extending the Interaction Nets Calculus by Generic Rules
Eugen Jiresch
12:00-12:30 Higher-order port-graph rewriting
Maribel Fernandez and Sebastien Maulat
12:30-14:00 Lunch
14:00-15:00 Invited talk: Linear Types in Programming Languages: Progress and Prospects
Simon Gay, University of  Glasgow
15:00-15:30 Linearly Refined Session Types
Pedro Baltazar, Dimitris Mostrous and Vasco Vasconcelos
15:30-16:00 Coffee
16:00-16:30 Relating Reasoning Methodologies in Linear Logic and Process Algebra
Yuxin Deng, Iliano Cervesato and Robert Simmons
16:30-17:00 A linear analysis of the call-by-value lambda calculus
Beniamino Accattoli
17:00-17:30Linear Dependent Types with Local Variables
Paolo Torrini
 17:30-16:00   Discussion and closing