September 2015 Meeting


16–17 September, 2015


Sir Alwyn Williams Building at the School of Computing Science, Univerisity 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 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.


16th September

Sir Alwyn Williams Building, Level 5
13:30-14:10Dominic Orchard (Imperial) - Session types for Cloud Haskell
14:10-14:50Roly Perera (Glasgow) - Multiparty compatibility for actor systems
14:50-15:30Dimitris Kouzapas (Glasgow) - The ABCD use-case repository and case study paper
16:00-16:45Roland Kuhn (Typesafe) - Akka Typed: Opportunities for Session Types
16:45-17:30Alceste Scalas (Imperial) - Towards type-safe sessions in Scala
19:00-Dinner, Oran Mar

17th September

Sir Alwyn Williams Building, Room 423
9:00-9:40Julian Lange (Imperial) - Meeting deadlines together
9:40-10:20Ornela Dardha (Glasgow) - Comparing deadlock-free session typed processes
10:20-11:00Garrett Morris (Edinburgh) - Substructural types with class
11:30-12:10Benardo Toninho (Imperial) - Certifying Data in Multiparty Session Types
12:10-13:00Dimitris Kouzapas (Glasgow) - Characteristic bisimulation for higher-order session types and Mungo: typechecking protocols
Sir Alwyn Williams Building, Level 5
14:00-14:40Florian Weber (Glasgow) - The POP3 protocol with Scribble, StMungo, and Mungo
14:40-15:20Simon Fowler (Edinburgh) - Detecting and Handling Errors in Monitored Session Erlang
15:50-16:30Discussion of Future Work