April 2015 Meeting

Location

Room 217 and 218 at Huxley Building, Imperial College London, 180 Queen's Gate. (Google map)

Schedule

20th April

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

21st April

8:30-9:00Coffee
9:00-9:15Nobuko Yoshida (Imperial) - Summary of activities
9:15-9:30Simon Gay (Glasgow) - Summary of activities
9:30-9:45Sam Lindley (Edinburgh) - Summary of activities
9:45-10:15Simon Gay (Glasgow) - Summary of meeting
10:15-10:30Coffee break
10:30-12:00Advisory board meeting