ETAPS 2019
Sat 6 - Thu 11 April 2019 Prague, Czech Republic
Sun 7 Apr 2019 13:30 - 14:30 at S8 - III Chair(s): Vasco Vasconcelos

Sun 7 Apr
Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

13:30 - 15:30
IIIPLACES at S8
Chair(s): Vasco VasconcelosLASIGE, Faculty of Sciences, University of Lisbon
13:30
60m
Talk
Keynote: Shared Session Types for Safe, Practical Concurrency
PLACES
Stephanie BalzerCarnegie Mellon University
14:30
30m
Full-paper
Multiparty session type-safe web development with static linearity
PLACES
Jonathan KingHabito and Imperial College London, Nicholas NgImperial College London, Nobuko YoshidaImperial College London
15:00
30m
Full-paper
Service Equivalence via Multiparty Session Type Isomorphisms
PLACES
Assel AltayevaImperial College London, Nobuko YoshidaImperial College London