Vai al contenuto principale

First International Summer School on Behavioural Types

Published: Sunday, June 15, 2014

----------------------------------------------------------------------

       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.

Last update: 13/02/2014 15:21
Non cliccare qui!