5–6 January, 2017
Sir Alwyn Williams Building at the School of Computing Science, University of Glasgow.
From Glasgow Central to SoCS: subway from St. Enoch to Hillhead, then walk for a few minutes.
From Queen Street to SoCS: subway from Buchannan to Hillhead, then walk for a few minutes.
From Glasgow airport: taxi (around 17GBP), or line 77 bus.
If you go this booking.com page and zoom in, you will find the university located between Hillhead, Kelvinbridge and Kelvinall subway stations. The Great Western Road is just to the north of the university and has a number of reasonably-priced hotels, all within a 10-minute walk of the school.
About 15 minutes away to the south east is Sauchiehall St. That also has several hotels and could be a more pleasant walk in the morning.
|10:00-10:40||Julien Lange (Imperial): Characteristic Formulae for Session Types|
|10:40-11:20||Antonio Ravara (Lisbon/Glasgow): Statically detecting deadlocks in the linear pi-calculus|
|11:20-12:00||Phil Wadler (Edinburgh): Coherence Generalises Duality: a logical explanation of multiparty session types|
|13:30-14:10||Florian Weber (Glasgow): Message mapping for Scribble|
|14:10-14:50||Gary Brown (Red Hat) and Raymond Hu (Imperial): Update on Scribble and Use of Scribble in Red Hat|
|15:20-16:00||Alceste Scalas (Imperial): A Linear Decomposition of Multiparty Sessions|
|16:00-16:40||J. Garrett Morris (Edinburgh): Embedding Session Types in Haskell|
|17:10-17:50||Steve Ross-Talbot (Cognizant): TBA|
|9:00-9:40||Nicholas Ng (Imperial): Static Deadlock Detection for Go by Global Graph Synthesis|
|9:40-10:20||Laura Voinea (Glasgow): Experimental Evaluation of Session Types|
|10:40-12:00||Advisory board meeting (advisory board only)|
|13:30-14:10||Bob Atkey (Strathclyde): Operational and Denotational Semantics for Classical Processes|
|14:10-14:50||Sam Lindley (Edinburgh): Session Types in Links|
|15:20-16:00||Dimitris Kouzapas (Glasgow): A Session Type System for Unreliable Broadcast Communication|