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 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.
| Sir Alwyn Williams Building, Level 5 | |
| 12:45-13:30 | Lunch |
| 13:30-14:10 | Dominic Orchard (Imperial) - Session types for Cloud Haskell |
| 14:10-14:50 | Roly Perera (Glasgow) - Multiparty compatibility for actor systems |
| 14:50-15:30 | Dimitris Kouzapas (Glasgow) - The ABCD use-case repository and case study paper |
| 15:30-16:00 | Coffee |
| 16:00-16:45 | Roland Kuhn (Typesafe) - Akka Typed: Opportunities for Session Types |
| 16:45-17:30 | Alceste Scalas (Imperial) - Towards type-safe sessions in Scala |
| 19:00- | Dinner, Oran Mar |
| Sir Alwyn Williams Building, Room 423 | |
| 8:30-9:00 | Breakfast |
| 9:00-9:40 | Julian Lange (Imperial) - Meeting deadlines together |
| 9:40-10:20 | Ornela Dardha (Glasgow) - Comparing deadlock-free session typed processes |
| 10:20-11:00 | Garrett Morris (Edinburgh) - Substructural types with class |
| 11:00-11:30 | Coffee |
| 11:30-12:10 | Benardo Toninho (Imperial) - Certifying Data in Multiparty Session Types |
| 12:10-13:00 | Dimitris Kouzapas (Glasgow) - Characteristic bisimulation for higher-order session types and Mungo: typechecking protocols |
| 13:00-14:00 | Lunch |
| Sir Alwyn Williams Building, Level 5 | |
| 14:00-14:40 | Florian Weber (Glasgow) - The POP3 protocol with Scribble, StMungo, and Mungo |
| 14:40-15:20 | Simon Fowler (Edinburgh) - Detecting and Handling Errors in Monitored Session Erlang |
| 15:20-15:50 | Coffee |
| 15:50-16:30 | Discussion of Future Work |