Homepage Inria website
  • Inria login
  • The Inria's Research Teams produce an annual Activity Report presenting their activities and their results of the year. These reports include the team members, the scientific program, the software developed by the team and the new results of the year. The report also describes the grants, contracts and the activities of dissemination and teaching. Finally, the report gives the list of publications of the year.

  • Legal notice
  • Cookie management
  • Personal data
  • Cookies

Section: Partnerships and Cooperations

European Initiatives

Collaborations in European Programs, Except FP7 & H2020

ICT Cost Action IC1405 on Reversible Computation
  • Program: ICT COST Action IC1405

  • Project title: Reversible computation - extending horizons of computing

  • Duration: November 2014 - April 2019

  • 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: CNRS Bilaterial PICS project

  • Project acronym: SuCCeSS

  • Project title: Security, Adaptability and time in Communication Centric Software Systems

  • Duration: June 2016 - June 2019

  • Coordinator: Cinzia Di Giusto, I3S, Sophia Antipolis

  • Partners: I3S, Inria, University of Groningen

  • Abstract: The project SuCCeSS is a CNRS-funded “Projet coopératif” (PICS 07313), involving two 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 Groningen. 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.