Section: Partnerships and Cooperations

European initiatives

FP7 Projects

• Program: RAPP

• Title: Robot App Store

• Collaborator: Inria Coprin

• Abstract: RAPP is a 36 months pan-european FP7 project, started in December 2013. Hop is used in the development of prototypes of the Coprin Ang rollator transfer device, for mobility assistance and activity monitoring.

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