Section: Partnerships and Cooperations

European Initiatives

FP7 & H2020 Projects

RAPP

• Program: http://rapp-project.eu

• Title: Robot App Store

• Collaborator: Inria Hephaistos

• Abstract: RAPP is a 36 months pan-european FP7 project, started in December 2013. Hop.js technology is used by partner academic and SME R&D teams to develop a distributed software platform and applications for assistive robotics.

Collaborations in European Programs, Except FP7 & H2020

ICT Cost Action IC1201 BETTY

• Program:BETTY

• Project 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.

ICT Cost Action IC1405 on Reversible Computation

• Program: COST

• Project acronym: RC

• Project title: Reversible computation - extending horizons of computing

• Duration: November 2014 - November 2018

• Coordinator: Irek Ulidowski, University of Leicester

• Other partners: several research groups, belonging to 23 european countries

• Abstract: Reversible computation is an emerging paradigm that extends the standard mode of computation with the ability to execute in reverse. It aims to deliver novel computing devices and software, and to enhance traditional systems. The potential benefits include the design of reversible logic gates and circuits - leading to low-power computing and innovative hardware for green ICT, new conceptual frameworks and language abstractions, and software tools for reliable and recovery-oriented distributed systems. This is the first European network of excellence aimed at coordinating research on reversible computation.

Bilateral PICS project SuCCeSS

• Program: PICS

• Project acronym: SuCCeSS

• Project title: Security, Adaptability and time in Communication

• Duration: June 2016 - June 2019

• Coordinator: Cinzia Di Giusto, I3S, Sophia Antipolis

• Other partners: I3S, University of Gröningen

• Abstract: The project SuCCeSS is a CNRS-funded “Projet coopératif” (PICS 07313), involving 2 French teams in Sophia Antipolis (the MDSC team at the laboratory I3S, acting as coordinator, and the INDES team) and one Dutch team at the University of Gröningen. The project started in June 2016 and is due to end in June 2019. The objective of the project is to study formal models for reliable distributed communication-centric software systems. The project focusses on analysis and validation techniques based on behavioural types, aimed at enforcing various properties (safety, liveness, security) of structured communications.