First International Summer School on Behavioural Types
----------------------------------------------------------------------
FIRST INTERNATIONAL SUMMER SCHOOL ON BEHAVIOURAL TYPES
LOVRAN, CROATIA
30th JUNE - 4th JULY 2014
summerschool2014.behavioural-types.eu
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 1st International
Summer School on Behavioural Types will take place from 30th June to
4th July 2014, in Lovran, Croatia.