Section: Partnerships and Cooperations

European Initiatives

FP7 & H2020 Projects

ERC Starting Grant: The CoqHoTT project

Participant : Nicolas Tabareau [coordinator] .

CoqHoTT stands for Coq for Homotopy Type Theory. The goal of this project is to go further in the correspondence between proofs and programs which has allowed in the last 20 years the development of useful proof assistants, such as Coq (developed by Inria). This project starts from the recent discovery by field medal Vladimir Voevosdky, of the strong link between homotopy theory (which studies the notion of continuous deformation in topology) and type theory (which is at the heart of the Coq proof assistant). The main goal of the CoqHoTT project is to provide a new generation of proof assistants based on this fascinating connection.

The CoqHoTT project has started in June 2015 with a budget of 1,5M€.

A4Cloud (IP)

Participants : Mario Südholt [coordinator] , Walid Benghabrit, Ronan-Alexandre Cherrueau, Rémi Douence, Hervé Grall, Jean-Claude Royer.

The integrated project “Accountability for the Cloud” (A4Cloud) is coordinated by HP Labs, UK, and fosters cooperation of a consortium of five industrial and eight academic partners. It has been started in Oct. 2012 for a duration of 42 months.

A4Cloud focuses on accountability properties for the cloud and other future internet services as the most critical prerequisite for effective governance and control of corporate and private data processed by cloud- based IT services. The research being conducted in the project will increase trust in cloud computing by devising methods and tools, through which cloud stakeholders can be made accountable for the privacy and confidentiality of information held in the cloud. These methods and tools will combine risk analysis, policy enforcement, monitoring and compliance auditing. They will contribute to the governance of cloud activities, providing transparency and assisting legal, regulatory and socio-economic policy enforcement. For further information, see http://www.a4cloud.eu . ASCOLA, whose financial support consists of 550 K€, is mainly involved in the sub-projects on the enforcement of accountability and security policies, as well as tool validation efforts.

This year we have proposed new logic-based and language-level means for the formal specification and implementation of accountability properties and have proposed a new composition approach for distributed systems that enforces privacy-properties through statically-verified types (see  7.3 ).

BigStorage (MSCA-ETN)

Participants : Adrien Lebre [coordinator] , Linh-Thuy Nguyen, Mario Südholt.

BigStorage is a European Training Network (ETN) whose main goal is to train future data scientists in order to enable them and us to apply holistic and interdisciplinary approaches for taking advantage of a data-overwhelmed world, which requires HPC and Cloud infrastructures with a redefinition of storage architectures underpinning them – focusing on meeting highly ambitious performance and energy usage objectives.

Nowadays there is a lack of professionals who know how to deal with storage, management and analysis of Big Data. Indeed, there is a gap between infrastructures for dealing with Big Data and applications using these volumes of data. In 2011, the McKinsey Global Institute published a study that found that, by 2018, there could be a shortage of up to 190,000 data scientists in the United States, representing a 50 percent to 60 percent gap between supply and demand. Similarly, European officials estimate that 300,000 data scientists will be needed in Europe in the forthcoming years. Other reports, such as those from PRACE and ETP4HPC, have also emphasized the need of skills in HPC, Cloud, Storage, Energy, or Big Data to maintain Europe’s economy. In this context, a major goal of this project is to bring a substantial contribution to the training process of these future experts.

Within this project, ASCOLA leads the WP 3 that deals with the convergence between HPC and Cloud storage backends.


Participant : Rémi Douence [coordinator] .

The GRACeFUl project is coordinated by Universitat Politecnica de Catalunya, Spain, and fosters cooperation of a consortium of two institutes and five academic partners. It has been started in Feb. 2015 for a duration of 36 months. For information, see https://www.graceful-project.eu .

Global Systems Science is a FET Proactive initiative under Horizon 2020 that seeks to improve the way scientific knowledge can help inform and evaluate policy and societal responses to global challenges like climate change and global financial crises.

The GRACeFUL project strives for a base for domain-specific languages aimed at building scalable rapid assessment tools for collective policy making in global systems. It involves several different disciplines. ASCOLA is involved in WP5 in order to provide expertise in functional programming . In this context Rémi Douence codirects the PhD thesis of Ekaterina Arafailova. This work has already produced a generalization of automata-based constraints [12] .