[TYPES/announce] Summer School on Behavioural Types

[Simon Gay]

*** Funding available for European students and early-career researchers

*** Application deadline: 4th April


----------------------------------------------------------------------
         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.


Confirmed Speakers and Provisional Topics
-----------------------------------------

Main Courses

- Behavioural separation types
   Luis Caires (Universidade Nova de Lisboa, Portugal)

- Linear logic and session types
   Frank Pfenning (Carnegie Mellon University, USA)

- Foundations of session types
   Vasco Vasconcelos (University of Lisbon, Portugal)

- Theory and applications of multi-party session types
   Nobuko Yoshida and Raymond Hu (Imperial College London, UK)


Short courses / lectures

- Choreographies
   Marco Carbone (IT University of Copenhagen, Denmark)

- Security and behavioural types
   Ilaria Castellani (INRIA Sophia Antipolis, France)

- Progress properties in session types
   Mariangiola Dezani (University of Torino, Italy)

- Subtyping in behavioural types
   Luca Padovani (University of Torino, Italy)


Full information will be updated at
http://summerschool2014.behavioural-types.eu


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 or near neighbour countries (list
available at www.cost.eu) can be funded by COST Action IC1201. Other
participants may attend at their own expense.

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: 4th April

Notification of acceptance: 28th April

Notification of funding: 28th April

Summer school: 30th June - 4th July


Organizing Committee
--------------------

Tihana Galinac Grbac (University of Rijeka, Croatia)
Simon Gay (University of Glasgow, UK)
Dimitris Mostrous (University of Lisbon, Portugal)
Jovanka Pantovic (University of Novi Sad, Serbia)
Antonio Ravara (New University of Lisbon, Portugal)
Neva Slani (University of Zagreb, Croatia)