January 2017 Meeting


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.


5th January

09:30-10:00Welcome tea/coffee
10:00-10:40Julien Lange (Imperial): Characteristic Formulae for Session Types
10:40-11:20Antonio Ravara (Lisbon/Glasgow): Statically detecting deadlocks in the linear pi-calculus
11:20-12:00Phil Wadler (Edinburgh): Coherence Generalises Duality: a logical explanation of multiparty session types
13:30-14:10Florian Weber (Glasgow): Message mapping for Scribble
14:10-14:50Gary Brown (Red Hat) and Raymond Hu (Imperial): Update on Scribble and Use of Scribble in Red Hat
15:20-16:00Alceste Scalas (Imperial): A Linear Decomposition of Multiparty Sessions
16:00-16:40J. Garrett Morris (Edinburgh): Embedding Session Types in Haskell
17:10-17:50Steve Ross-Talbot (Cognizant): TBA
19:00-Dinner: TBA

6th January

9:00-9:40Nicholas Ng (Imperial): Static Deadlock Detection for Go by Global Graph Synthesis
9:40-10:20Laura Voinea (Glasgow): Experimental Evaluation of Session Types
10:40-12:00Advisory board meeting (advisory board only)
13:30-14:10Bob Atkey (Strathclyde): Operational and Denotational Semantics for Classical Processes
14:10-14:50Sam Lindley (Edinburgh): Session Types in Links
15:20-16:00Dimitris Kouzapas (Glasgow): A Session Type System for Unreliable Broadcast Communication