Section: Partnerships and Cooperations

European initiatives

Collaborations in European Programs, except FP7

• Program: ICT Cost Action IC1201

• Program acronym: BETTY

• Project title: Behavioural Types for Reliable Large-Scale Software Systems

• Duration: October 2012 - October 2016

• Coordinator: Simon Gay, University of Glasgow

• Other partners: Several research groups, belonging to 17 european countries

• Abstract: The aim of BETTY is to investigate and promote 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.