Programme

Monday 23rd September

Session 1: 10.00 - 11.00 (Chair: Simon Gay)

10.00  Towards Global and Local Types for Adaptation

Mario Bravetti, Marco Carbone, Thomas Hildebrandt, Ivan Lanese, Jacopo Mauro, Jorge A. Pérez and Gianluigi Zavattaro

10.30  Static deadlock resolution in the pi calculus

Marco Giunti and António Ravara

Break

Session 2: 11.30 - 13.00 (Chair: Mario Bravetti)

11.30  A concurrent programming language with refined session types

Juliana Franco and Vasco Vasconcelos

12.00  Types for resources in psi-calculi

Hans Hüttel

12.30  Behavioural Types Inspired by Cellular Thresholds

Bogdan Aman and Gabriel Ciobanu

Lunch

Session 3: 14.30 - 16.00 (Chair: Ilaria Castellani)

14.30  Ensuring Faultless Communication Behaviour in an E-Commerce Cloud Application

Rustem Kamun and Ross Horne

15.00  A Typing System for Privacy

Dimitrios Kouzapas and Anna Phillipou

15.30  Compliance and testing preorders differ

Giovanni Bernardi and Matthew Hennessy

Break

Session 4: 16.30 - 17.30 (Chair: Adrian Francalanza)

16.30  Scalable session programming for heterogeneous high-performance systems

Nicholas Ng, Nobuko Yoshida and Wayne Luk

17.00  Specification and Verification of Protocols for MPI Programs

Eduardo R. B. Marques, Francisco Martins, Vasco T. Vasconcelos, Nicholas Ng, Nuno Dias Martins, César Santos and Nobuko Yoshida

Tuesday 24th September

Session 1: 10.00 - 11.00 (Chair: Björn Victor)

10.00  Invited Lecture
Service Compositions: Curse or Blessing for Security 

Achim Brucker

Abstract

Building large systems by composing reusable services is not a new idea, it is at least 25 years old. Still, only recently the scenario of dynamic interchangeable services that are consumed via public networks is becoming reality. Following the Software as a Service (SaaS) paradigm, an increasing number of complex applications is offered as a service that themselves can be used composed for building even larger and more complex applications. This will lead to situations in which users are likely to unknowingly consume services in a dynamic and ad hoc manner.

Leaving the rather static (and mostly on-premise) service composition scenarios of the past 25 years behind us, dynamic service compositions, have not only the potential to transform the software industry from a business perspective, they also requires new approaches for addressing the security, trustworthiness needs of users.

The EU FP7 project Aniketos develops new technology, methods, tools and security services that support the design-time creation and run-time dynamic behaviour of dynamic service compositions, addressing service developers, service providers and service end users.

In this talk, we will motivate several security and trustworthiness requirements that occur in dynamic service compositions and discuss the solutions developed within the project Aniketos. Based on our experiences, we will discuss open research challenges and potential opportunities for potential opportunities for applying type systems.

Break

Session 2: 11.30 - 13.00 (Chair: Hans Hüttel)

11.30  Typing Actors using Behavioural Types

Adrian Francalanza and Joseph Masini

12.00  Behaviour inference for deadlock checking

Violet Ka I Pun, Martin Steffen and Volker Stoltz

12.30  Globally Governed Session Semantics

Dimitrios Kouzapas and Nobuko Yoshida

Lunch

Session 3: 14.30 - 16.00 (Chair: Vasco Vasconcelos)

14.30  Tutorial and demonstration: Distributed Governance with Scribble

Raymond Hu, Rumyana Neykova, Nicholas Ng and Nobuko Yoshida

15.30  Discussion

Break

Session 4: 16.30 - 17.30 (Vasileios Koutavas)

16.30  Multiparty Compatibility in Communicating Automata: Characterisation and Synthesis of Global Session Types

Pierre-Malo Deniélou and Nobuko Yoshida

17.00  Linear Types in Programming Languages: Progress and Prospects

Simon Gay

Tuesday evening

For people who would like to have dinner with other BEAT participants and/or with members of the BETTY network, the suggested restaurant is Restaurante Manolo from around 20.30. The restaurant is located reasonably close to the SEFM recommended hotels.