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

Simon Gay Simon.Gay at glasgow.ac.uk
Fri Jan 29 05:12:26 EST 2016


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

*** Application deadline: 8th April.


----------------------------------------------------------------------
         SECOND INTERNATIONAL SUMMER SCHOOL ON BEHAVIOURAL TYPES

                          LIMASSOL, CYPRUS

                     27th JUNE - 1st JULY 2016

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


Full information will be updated at
http://summerschool2016.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 (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: 25th March

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