ETAPS 2019
Sat 6 - Thu 11 April 2019 Prague, Czech Republic
VenueCharles University
Room nameS8
Floor0
Additional informationThere is no additional information of this room available.
Program

You're viewing the program in a time zone which is different from your device's time zone - change time zone

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

09:00 - 10:30: Session 1PLACES at S8
Chair(s): Francisco MartinsUniversity of Lisbon
09:00 - 10:00
Talk
Keynote: Unstructured Parallelism Considered Harmful -- Using Structured Parallelism for Enhanced Software Verification
PLACES
Vivek SarkarRice University, USA
10:00 - 10:30
Full-paper
A Message-Passing Interpretation of Adjoint Logic
PLACES
Klaas PruiksmaCarnegie Mellon University, Frank PfenningCarnegie Mellon University, USA
11:00 - 12:00: IIPLACES at S8
Chair(s): Ornela DardhaUniversity of Glasgow
11:00 - 11:30
Full-paper
FreeST: context-free session types in a functional language
PLACES
Bernardo AlmeidaUniversidade de Lisboa, Andreia MordidoLasige / Faculty of Sciences, Universidade de Lisboa, Vasco T. VasconcelosUniversity of Lisbon, Portugal
11:30 - 12:00
Full-paper
Concurrent Typestate-Oriented Programming in Java
PLACES
Rosita GerboUniversità di Torino, Luca PadovaniUniversity of Turin
13:30 - 15:30: IIIPLACES at S8
Chair(s): Vasco VasconcelosLASIGE, Faculty of Sciences, University of Lisbon
13:30 - 14:30
Talk
Keynote: Shared Session Types for Safe, Practical Concurrency
PLACES
Stephanie BalzerCarnegie Mellon University
14:30 - 15:00
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 - 15:30
Full-paper
Service Equivalence via Multiparty Session Type Isomorphisms
PLACES
Assel AltayevaImperial College London, Nobuko YoshidaImperial College London
16:00 - 18:00: IVPLACES at S8
Chair(s): Francisco MartinsUniversity of Lisbon
16:00 - 16:30
Full-paper
Value-Dependent Session Design in a Dependently Typed Language
PLACES
Jan de Muijnck-HughesUniversity of Glasgow, Edwin BradyUniversity of St. Andrews, UK, Wim VanderbauwhedeUniversity of Glasgow
16:30 - 17:00
Talk
Fluid Types: Statically Verified Distributed Protocols with Refinements
PLACES
Fangyi ZhouImperial College London, Francisco FerreiraImperial College London, Rumyana NeykovaBrunel University London, Nobuko YoshidaImperial College London
17:00 - 17:30
Talk
The Cpi-calculus: a Model for Confidential Name Passing
PLACES
Ivan ProkićUniversity of Novi Sad
17:30 - 17:35
Day closing
Closing remarks
PLACES

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

Room9:003010:003011:003012:003013:003014:003015:003016:003017:0030
S8