[TYPES/announce] 2nd International Summer School on Behavioural Types: Final Call

Simon Gay Simon.Gay at glasgow.ac.uk
Wed Mar 16 12:50:11 EDT 2016

*** Funding available for students and early-career researchers from Europe.

*** Application deadline: 8th April.


                          LIMASSOL, CYPRUS

                     27th JUNE - 1st JULY 2016


Organized by COST Action IC1201: Behavioural Types for Reliable
Large-Scale Software Systems (BETTY)

Modern society is increasingly dependent on large-scale software
systems that are distributed, collaborative and communication-centred.
Correctness and reliability of such systems depend on compatibility
between components and services that are newly developed or may
already exist. The consequences of failure are severe, including
security breaches and unavailability of essential services. Current
software development technology is not well suited to producing these
large-scale systems, because of the lack of high-level structuring
abstractions for complex communication behaviour.

COST Action IC1201 uses behavioural type theory as the basis for new
foundations, programming languages, and software development methods
for communication-intensive distributed systems. Behavioural type
theory encompasses concepts such as interfaces, communication
protocols, contracts, and choreography. As a unifying structural
principle it has the potential to transform the theory and practice of
distributed software development.

In order to train PhD students and early-career researchers in the
theory and applications of behavioural types, the 2nd International
Summer School on Behavioural Types will take place from 27th June to
1st July 2016, in Limassol, Cyprus.

Lecturers and Provisional Topics

- Massimo Bartoletti (University of Cagliari, Italy)
   Behavioural contracts

- Laura Bocchi (University of Kent, UK)
   Multiparty session types

- Luís Caires (Universidade Nova de Lisboa, Portugal)
   Linear logic and behavioural types

- Ornela Dardha (University of Glasgow, UK)
   Introduction to session types

- Raymond Hu (Imperial College London, UK)
   Practical programming with Scribble and session types

- Vasco Vasconcelos (University of Lisbon, Portugal)
   Type-based tools: SePi and ParTypes

- Philip Wadler (University of Edinburgh, UK)
   Title to be confirmed

Full information will be updated at

Application procedure

Places are limited. Applications will be evaluated by the organizing
committee. Up to thirty participants (PhD students and early-career
researchers) from COST countries (list available at www.cost.eu) can
be funded by COST Action IC1201. Other participants may attend at
their own expense; the cost is expected to be around 500 euros,
including accommodation.

Please send your CV, a statement of your current research topic and
your interest in the summer school, and a supporting letter from your
PhD supervisor or, in the case of early-career researchers, from a
mentor, to Simon Gay (Simon.Gay at glasgow.ac.uk). If you want to
request funding from COST Action IC1201 then please state this in your
application. Any enquiries can also be sent to Simon Gay.

Important dates

Application deadline: 8th April

Notification of acceptance: 15th April

Notification of funding: 15th April

Summer school: 27th June - 1st July

Organizing Committee

Ilaria Castellani (INRIA Sophia Antipolis Méditerranée, France)
Simon Gay (University of Glasgow, UK), Chair
Thomas Hildebrandt (IT University of Copenhagen, Denmark)
Hans Hüttel (Aalborg University, Denmark)
Luca Padovani (University of Torino, Italy)
Anna Philippou (University of Cyprus), Local Organiser
António Ravara (Universidade Nova de Lisboa, Portugal)
Vasco Vasconcelos (University of Lisbon, Portugal)

More information about the Types-announce mailing list