[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
---------------------------------------------------------------------- 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....@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)