Section: Partnerships and Cooperations
European Initiatives
Collaborations in European Programs, Except FP7 & H2020
ICT Cost Action IC1405 on Reversible Computation
-
Project title: Reversible computation - extending horizons of computing
-
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
-
Project title: Security, Adaptability and time in Communication Centric Software Systems
-
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.