Room 217 and 218 at Huxley Building, Imperial College London, 180 Queen's Gate. (Google map)
| 8:30-9:00 | Coffee |
| |
| 9:00-9:15 | Nobuko Yoshida (Imperial) - Outline of the meeting |
| 9:15-9:45 | Dimitris Kouzapas (Glasgow/Imperial) - Use cases (1) |
| 9:45-10:00 | Short discussion |
| 10:00-10:15 | Rumyana Neykova (Imperial) - Use cases (2) |
| 10:15-10:30 | Julien Lange (Imperial) - Informal discussion of BIAN and other use cases |
| |
| 10:30-11:00 | Coffee break |
| |
| 11:00-11:20 | Sam Lindley (Edinburgh) - Links demo |
| 11:20-11:40 | Ornela Dardha (Glasgow) - Mungo demo |
| 11:40-12:00 | Simon Fowler (Edinburgh) - Sessions in Erlang demo |
| 12:00-12:25 | Roly Perera (Glasgow) - Redis demo |
| 12:25-13:00 | Discussion of uses cases and prototypes |
| |
| 13:00-14:00 | Lunch |
| |
| 14:00-14:30 | Nicholas Ng (Imperial) - Protocols by Default: Safe MPI Code Generation based on Session Types |
| 14:30-15:00 | Weizhen Yang (Imperial) - Timed Multiparty Session Types |
| 15:00-15:30 | Garrett Morris (Edinburgh) - Lightweight Functional Session Types |
| |
| 15:30-16:00 | Coffee break |
| |
| 16:00-16:30 | Frank Pfenning (CMU) - Polarized Substructural Session Types |
| 16:30-17:00 | Mariangiola Dezani (Torino) -
Self-Adaptation and Information Flow in Multiparty Communications |
| 17:00-17:30 | Dominic Orchard (Imperial) - Music and Session Types |
| 17:30-18:00 | Open discussion |
| |
| 19:00- | Dinner |