Program - ETAPS 2019

Detailed Table Session Timeline Detailed Timeline

Time Zone

The program is currently displayed in (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna.

Use conference time zone: (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, ViennaSelect other time zone

The GMT offsets shown reflect the offsets at the moment of the conference.

Time Band

By setting a time band, the program will dim events that are outside this time window. This is useful for (virtual) conferences with a continuous program (with repeated sessions).
The time band will also limit the events that are included in the personal iCalendar subscription service.

Display full programSpecify a time band

Save

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

Sun 7 Apr
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

09:00 - 10:30	Session 1PLACES at S8 Chair(s): Francisco Martins University of Lisbon

09:00 60m Talk		Keynote: Unstructured Parallelism Considered Harmful -- Using Structured Parallelism for Enhanced Software Verification PLACES Vivek Sarkar Rice University, USA
10:00 30m Full-paper		A Message-Passing Interpretation of Adjoint Logic PLACES Klaas Pruiksma Carnegie Mellon University, Frank Pfenning Carnegie Mellon University, USA

11:00 - 12:00	IIPLACES at S8 Chair(s): Ornela Dardha University of Glasgow

11:00 30m Full-paper		FreeST: context-free session types in a functional language PLACES Bernardo Almeida Universidade de Lisboa, Andreia Mordido Lasige / Faculty of Sciences, Universidade de Lisboa, Vasco T. Vasconcelos University of Lisbon, Portugal
11:30 30m Full-paper		Concurrent Typestate-Oriented Programming in Java PLACES Rosita Gerbo Università di Torino, Luca Padovani University of Turin

13:30 - 15:30	IIIPLACES at S8 Chair(s): Vasco T. Vasconcelos University of Lisbon, Portugal

13:30 60m Talk		Keynote: Shared Session Types for Safe, Practical Concurrency PLACES Stephanie Balzer Carnegie Mellon University
14:30 30m Full-paper		Multiparty session type-safe web development with static linearity PLACES Jonathan King Habito and Imperial College London, Nicholas Ng Imperial College London, Nobuko Yoshida Imperial College London
15:00 30m Full-paper		Service Equivalence via Multiparty Session Type Isomorphisms PLACES Assel Altayeva Imperial College London, Nobuko Yoshida Imperial College London

16:00 - 18:00	IVPLACES at S8 Chair(s): Francisco Martins University of Lisbon

16:00 30m Full-paper		Value-Dependent Session Design in a Dependently Typed Language PLACES Jan de Muijnck-Hughes University of Glasgow, Edwin Brady University of St. Andrews, UK, Wim Vanderbauwhede University of Glasgow
16:30 30m Talk		Fluid Types: Statically Verified Distributed Protocols with Refinements PLACES Fangyi Zhou Imperial College London, Francisco Ferreira Imperial College London, Rumyana Neykova Brunel University London, Nobuko Yoshida Imperial College London
17:00 30m Talk		The Cpi-calculus: a Model for Confidential Name Passing PLACES Ivan Prokić University of Novi Sad
17:30 5m Day closing		Closing remarks PLACES

PLACES 2019 Program

Sun 7 Apr
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

ETAPS 2019

Co-hosted Conferences

Workshops

PLACES 2019 Program

Switch Program View

Program Display Configuration

Sun 7 AprDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Get Calendar (iCal)

Sun 7 Apr
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change