Programme

PLACES is in the ETAPS workshop venue, which is the Bancroft Building. The room is 1.13.

Preliminary proceedings as PDF.

9.20 Welcome and opening (Simon Gay, PC co-chair)

Session 1 (Chair: Vasco Vasconcelos)

9.30 Using session types as an effect system
Dominic Orchard and Nobuko Yoshida

10.00 Precise subtyping for synchronous multiparty sessions
Mariangiola Dezani-Ciancaglini, Silvia Ghilezan,
Svetlana Jakšić, Jovanka Pantović and Nobuko Yoshida

10.30 Coffee break

Session 2 (Chair: Simon Gay)

11.00 Invited Talk and Discussion
Commutativity Race Detection: Concepts, Algorithms and Open Problems (slides)
Martin Vechev

12.30 Lunch break

Session 3 (Chair: Ornela Dardha)

14.00 A Typed Model for Dynamic Authorizations
Silvia Ghilezan, Svetlana Jakšić, Jovanka Pantović,
Jorge A. Pérez and Hugo Torres Vieira

14.30 Behavioural types for non-uniform memory accesses
Juliana Franco and Sophia Drossopoulou

15.00 Broadcast and aggregation in BBC
Hans Hüttel and Nuno Pratas

15.30 Communicating machines as a dynamic binding mechanism of services
Ignacio Vissani, Carlos Gustavo Lopez Pombo and Emilio Tuosto

16.00 Coffee break

Session 4 (Chair: Stefan Blom)

16.30 Distributed Programming via Safe Closure Passing
Philipp Haller and Heather Miller

17.00 Reversible Communicating Processes
Geoffrey Brown and Amr Sabry

17.30 Retractable contracts
Franco Barbanera, Mariangiola Dezani-Ciancaglini,
Ivan Lanese and Ugo De’Liguoro