Location
Dates
Schedule
| 08.30 - 09.00 | coffee |
| 09.00 - 09.15 | Philip Wadler (Edinburgh) - overview of program grant |
| 09.15 - 09.30 | Simon Gay (Glasgow) - overview of Glasgow |
| 09.30 - 09.45 | Nobuko Yoshida (IC) - overview of IC |
| 09.45 - 10.00 | Sam Lindley (Edinburgh) - overview of Edinburgh |
| 10.00 - 10.10 | short break |
| 10.10 - 11.10 | Raymond Hu (IC) - Scribble tutorial |
| 11.10 - 11.40 | coffee |
| 11.40 - 12.10 | Rumyana Neykova (IC) - Multiparty Session Types for Runtime Verification |
| 12.10 - 12.30 | Gary Brown (Red Hat) - Introduction to Savara |
| 12.30 - 14.00 | lunch |
| 14.00 - 14.20 | Matthew Arrott (OOI) - Overview of the OOI Governance Layer |
| 14.20 - 14.50 | Garrett Morris (Edinburgh) - Replication, Recursion and Concurrency |
| 14.50 - 15.30 | coffee |
| 15.30 - 15.50 | Steve Ross-Talbot (Cognizant) - Understanding legacy: A practical use of session types and session instances |
| 15.50 - 16.20 | Dimitris Kouzapas (Glasgow) - Typestate and session types for Java |
| 16.20 - 16.30 | short break |
| 16.30 - 17.00 | Nicholas Ng (IC) - Pabble: Parameterised Scribble for Parallel Programming |
| 17.00 - 17.30 | Frank Pfenning (Carnegie Mellon) - Concurrent Programming in Linear Type Theory |
| 19.00 - | dinner (TAS Bloomsbury). |
| 09.00 - 09.30 | Vasco Vasconcelos (Lisbon) - A concurrent programming language with refined session types |
| 09.30 - 09.50 | Andrew Birkett (Amazon) - Distributed Systems and Amazon |
| 09.50 - 10.20 | Mariangiola Dezani (Torino) - Self-Adaptive Monitors for Multi-party Session Types |
| 10.20 - 11.10 | coffee |
| 11.10 - 11.45 | Laura Bocchi (IC) - Resolving non-determinism in choreographies |
| 11.45 - 12.20 | Ornela Dardha (Glasgow) - Session Types Revisited |
| 12.20 - 14.00 | lunch |
| 13.15 - 14.00 | Management Committee (Phil, Simon and Nobuko only) |
| 14.00 - 17.00 | Advisory Board (with coffee break)
|
| 17.00 - 18.00 | Management Committee |