September 2015 Meeting

Dates

16–17 September, 2015

Location

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

16th September

Sir Alwyn Williams Building, Level 5
12:45-13:30Lunch
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
15:30-16:00Coffee
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
8:30-9:00Breakfast
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:00-11:30Coffee
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
13:00-14:00Lunch
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:20-15:50Coffee
15:50-16:30Discussion of Future Work