[TYPES/announce] 2nd International Summer School on Behavioural Types: Final Call
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] *** 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 behavioural 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 - Philip Wadler (University of Edinburgh, UK) Title to be confirmed 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@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: 8th April 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)
[TYPES/announce] 2nd International Summer School on Behavioural Types
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] *** 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@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)