Section: Partnerships and Cooperations
European Initiatives
H2020 Sparta
SPARTA (Strategic Programs for Advanced Research and Technology in Europe) is a novel cybersecurity competence network, with the objective to collaboratively develop and implement top-tier research and innovation actions. Strongly guided by concrete challenges forming an ambitious Cybersecurity Research & Innovation Roadmap, SPARTA will tackle hard innovation challenges, leading the way in building transformative capabilities and forming a world-leading cybersecurity competence network across the EU. Four initial research and innovation programs will push the boundaries to deliver advanced solutions to cover emerging issues, with applications from basic human needs to economic activities, technologies, and sovereignty.
See also: https://www.sparta.eu/
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 was the first European network of excellence aimed at coordinating research on reversible computation.
See also: http://www.revcomp.eu
Bilateral PICS project SuCCeSS
-
Project title: Security, Adaptability and time in Communication Centric Software Systems
-
Abstract: The project SuCCeSS was 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 objective of the project was to study formal models for reliable distributed communication-centric software systems. The project focussed on analysis and validation techniques based on behavioural types, aimed at enforcing various properties (safety, liveness, security) of structured communications.