Invited speakers:See below a preliminary timetable. A pdf of the draft programme is available here.The draft proceedings are available here.
Time 
Event 

09:0009:15 
Registration

09:1509:30
 Welcome

09:3010:30 
Invited talk
: The Geometry of Types
Ugo Dal Lago, University of Bologna 
10:3011:00 
Coffee Break 
11:0011:30 
Standardization in Resource lambda Calculus Maurizio Dominici, Simona Ronchi Della Rocca and Paolo Tranquill

11:3012:00  Extending the Interaction Nets Calculus by Generic Rules Eugen Jiresch

12:0012:30  Higherorder portgraph rewriting Maribel Fernandez and Sebastien Maulat

12:3014:00 
Lunch 
14:0015:00 
Invited talk: Linear Types in Programming Languages: Progress and Prospects Simon Gay, University of Glasgow

15:0015:30 
Linearly Refined Session Types Pedro Baltazar, Dimitris Mostrous and Vasco Vasconcelos

15:3016:00 
Coffee 
16:0016:30 
Relating Reasoning Methodologies in Linear Logic and Process Algebra Yuxin Deng, Iliano Cervesato and Robert Simmons

16:3017:00 
A linear analysis of the callbyvalue lambda calculus Beniamino Accattoli
 17:0017:30  Linear Dependent Types with Local Variables Paolo Torrini

17:3016:00 Discussion and closing
