BETTY Papers at PLACES 2015

Most of the papers at this year's PLACES workshop are by BETTY authors:

• Using session types as an effect system
  Dominic Orchard and Nobuko Yoshida
• Broadcast and aggregation in BBC
  Hans Hüttel and Nuno Pratas
• Precise subtyping for synchronous multiparty sessions
  Mariangiola Dezani-Ciancaglini, Silvia Ghilezan, Svetlana Jakšić, Jovanka Pantović and Nobuko Yoshida
• Retractable contracts
  Franco Barbanera, Mariangiola Dezani-Ciancaglini, Ivan Lanese and Ugo De’Liguoro
• A Typed Model for Dynamic Authorizations
  Silvia Ghilezan, Svetlana Jakšić, Jovanka Pantović, Jorge A. Pérez and Hugo Torres Vieira
• Communicating machines as a dynamic binding mechanism of services
  Ignacio Vissani, Carlos Gustavo Lopez Pombo and Emilio Tuosto
• Behavioural types for non-uniform memory accesses
  Juliana Franco and Sophia Drossopoulou

Other papers by authors who are not (yet!) involved in BETTY:

• Reversible Communicating Processes
  Geoffrey Brown and Amr Sabry
• Distributed Programming via Safe Closure Passing
  Philipp Haller and Heather Miller

Congratulations to everyone - we are looking forward to a good workshop.