EN FR
EN FR


Section: Partnerships and Cooperations

European Initiatives

FP7 & H2020 Projects

QUANTICOL
  • Program: The project is a member of Fundamentals of Collective Adaptive Systems (FOCAS), a FET-Proactive Initiative funded by the European Commission under FP7.

  • Project acronym: QUANTICOL

  • Project title: A Quantitative Approach to Management and Design of Collective and Adaptive Behaviours

  • Duration: 04 2013 – 03 2017

  • Coordinator: Jane Hillston (University of Edinburgh, Scotland)

  • Other partners: University of Edinburgh (Scotland); Istituto di Scienza e Tecnologie della Informazione (Italy); IMT Lucca (Italy) and University of Southampton (England).

  • Abstract: The main objective of the QUANTICOL project is the development of an innovative formal design framework that provides a specification language for collective adaptive systems (CAS) and a large variety of tool-supported, scalable analysis and verification techniques. These techniques will be based on the original combination of recent breakthroughs in stochastic process algebras and associated verification techniques, and mean field/continuous approximation and control theory. Such a design framework will provide scalable extensive support for the verification of developed models, and also enable and facilitate experimentation and discovery of new design patterns for emergent behaviour and control over spatially distributed CAS.

HPC4E
  • Title: HPC for Energy

  • Program: H2020

  • Duration: 01 2016 – 01 2018

  • Coordinator: Barcelona Supercomputing Center

  • Inria contact: Stephane Lanteri

  • Other partners:

    • Europe: Lancaster University (ULANC), Centro de Investigaciones Energéticas Medioambientales y Tecnológicas (CIEMAT), Repsol S.A. (REPSOL), Iberdrola Renovables Energía S.A. (IBR), Total S.A. (TOTAL).

    • Brazil: Fundação Coordenação de Projetos, Pesquisas e Estudos Tecnoclógicos (COPPE), National Laboratory for Scientific Computation (LNCC), Instituto Tecnológico de Aeronáutica (ITA), Petroleo Brasileiro S. A. (PETROBRAS), Universidade Federal do Rio Grande do Sul (INF-UFRGS), Universidade Federal de Pernambuco (CER-UFPE)

  • Abstract: The main objective of the HPC4E project is to develop beyond-the-state-of-the-art high performance simulation tools that can help the energy industry to respond future energy demands and also to carbon-related environmental issues using the state-of-the-art HPC systems. The other objective is to improve the cooperation between energy industries from EU and Brazil and the cooperation between the leading research centres in EU and Brazil in HPC applied to energy industry. The project includes relevant energy industrial partners from Brazil and EU, which will benefit from the project’s results. They guarantee that TRL of the project technologies will be very high. This includes sharing supercomputing infrastructures between Brazil and EU. The cross-fertilization between energy-related problems and other scientific fields will be beneficial at both sides of the Atlantic.

Polaris is a member of the COST program on Game Theory in Europe.

Collaborations with Major European Organizations

  • TU Wien: Research Group Parallel Computing, Technische Universität Wien (Austria). We collaborate with Sascha Hunold on experimental methodology and reproducibility of experiments in HPC. In particular we co-organize the REPPAR workshop on “Reproducibility in Parallel Computing”.

  • BSC (Barcelona): Barcelona Supercomputer Center (Spain). We collaborate with the performance evaluation group through the HPC4E project and through the JLESC.

  • University of Edinburgh, Istituto di Scienza e Tecnologie della Informazione and IMT Lucca. we used to strongly collaborate through the Quanticol European project. Several projects are still actively developed, concerning the mean field and refined mean field approximation.