Skip to content. | Skip to navigation

Second International Workshop on Behavioural Types


You are here: Home / 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


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


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


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


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.


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


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


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.