January 2017 Meeting

Dates

5–6 January, 2017

Location

Sir Alwyn Williams Building at the School of Computing Science, University of Glasgow.

Transport

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.

Accomodations

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.

Schedule

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
12:00-13:30Lunch
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
14:50-15:20Break
15:20-16:00Alceste Scalas (Imperial): A Linear Decomposition of Multiparty Sessions
16:00-16:40J. Garrett Morris (Edinburgh): Embedding Session Types in Haskell
16:40-17:10Break
17:10-17:50Steve Ross-Talbot (Cognizant): TBA
19:00-Dinner: TBA

6th January

8:30-9:00Tea/coffee
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:20-10:40Break
10:40-12:00Advisory board meeting (advisory board only)
12:00-13:30Lunch
13:30-14:10Bob Atkey (Strathclyde): Operational and Denotational Semantics for Classical Processes
14:10-14:50Sam Lindley (Edinburgh): Session Types in Links
14:50-15:20Break
15:20-16:00Dimitris Kouzapas (Glasgow): A Session Type System for Unreliable Broadcast Communication