Section: Partnerships and Cooperations
European Initiatives
Collaborations in European Programs, Except FP7 & H2020
-
ICT COST Action IC1405 (Reversible computation - extending horizons of computing). Initiated at the end of April 2015 and with a 4-year duration, this COST Action studies reversible computation and its potential applications, which include circuits, low-power computing, simulation, biological modeling, reliability and debugging. Reversible computation is an emerging paradigm that extends the standard forwards-only mode of computation with the ability to execute in reverse, so that computation can run backwards as naturally as it can go forwards.
-
ICT COST Action IC1402 ARVI (Runtime Verification beyond Monitoring). Initiated in December 2014 and with a 4-year duration, this COST Action studies runtime verification, a computing analysis paradigm based on observing a system at runtime to check its expected behaviour.
Collaborations with Major European Organizations
We list here the cooperations and contacts with other groups, without repeating those already listed in previous sections.
-
ENS Lyon (on concurrency models and resource control). Contact person(s) in Focus: Dal Lago, Martini, Sangiorgi, Vignudelli. Some visit exchanges during the year, in both directions. A joint PhD started in September 2016 (Adrien Durier).
-
Inria EPI Spades (on models and languages for components, reversibility). Contact person(s) in Focus: Lanese.
-
Universitat Politecnica de Valencia, Spain (on reversibility for Erlang). Contact person(s) in Focus: Lanese. Some visit exchanges during the year, in both directions.
-
Laboratoire d'Informatique, Université Paris Nord, Villetaneuse (on implicit computational complexity). Contact person(s) in Focus: Dal Lago, Martini.
-
Institut de Mathématiques de Luminy, Marseille (on lambda-calculi, linear logic and semantics). Contact person(s) in Focus: Dal Lago, Martini.
-
Team PPS, IRIF Lab, University of Paris-Diderot Paris 7 (on logics for processes, resource control). Contact person(s) in Focus: Dal Lago, Martini, Sangiorgi. Some short visits in both directions during the year.
-
IRILL Lab, Paris (on models for the representation of dependencies in distributed package based software distributions). Contact person(s) in Focus: Gabbrielli, Zavattaro. Some short visits in both directions during the year.
-
LMU Munich (M. Hofmann) (on implicit computational complexity and IntML). Contact person(s) in Focus: Dal Lago.
-
IMDEA Software, Madrid (G. Barthe) (on implicit computational complexity for cryptography). Contact person(s) in Focus: Dal Lago,Sangiorgi. Some visits during the year.
-
Facultad de Informatica, Universidad Complutense de Madrid (on web services). Contact person(s) in Focus: Bravetti. Bravetti is an external collaborator in the project “Desarrollo y Análisis formal de sistemas complejos en contextos DistribuidOS: fundamentos, herramientas y aplicaciones (DArDOS)” (Development and formal analysis of complex systems in distributed contexts: foundations, tools and applications) January 2016 - December 2018, funded by the Spanish Ministerio de Economia y Competitividad.