Data-Gouv-ML/pcri-informations-sur-les-projets-laureats huggingface dataset:
Automated Reasoning with Theories and Induction for Software Technology (ARTIST)

Framework: Horizon 2020 — Excellent Science
Programme: European Research Council (ERC)
Theme: European research council
Destination: Consolidator grants
Action type: ERC actions
Panel: Computer science and informatics
Panel description: Informatics and information systems, computer science, scientific computing, intelligent systems
Countries involved: Austria
Call: ERC CONSOLIDATOR GRANTS (ERC-2020-COG, 2020)
Start date: 2021-07-01
End date: 2026-06-30
Duration (months): 60.0
Total project cost (EUR): 2000000.0
EU funding (EUR): 2000000.0
Participants: 1
Project status: SIGNED

The long list of software failures over the past years calls for serious concerns in our digital society, creating bad reputation and adding huge economic burden on organizations, industries and governments. Improving software reliability is no more enough, ensuring software reliability is mandatory. Our project complements other advances in the area and addresses this demand by turning first-order theorem proving into an alternative, yet powerful approach to ensuring software reliability, Saturation-based proof search is the leading technology for automated first-order theorem proving. The high-gain/high-risk aspect of our project comes from the development and use of saturation-based theorem proving as a unifying framework to reason about software technologies. We use first-order theorem proving methods not only to prove, but also to generate software properties that imply the absence of program errors at intermediate program steps. Generating and proving program properties call for new methods supporting reasoning with both theories and quantifiers. Our project extends saturation-based first-order theorem provers with domain-specific inference rules to keep reasoning efficient. This includes commonly used theories in software development, such as the theories of integers, arrays and inductively defined data types, and automation of induction within saturation-based theorem proving, contributing to the ultimate goal of generating and proving inductive software properties, such as invariants. Thanks to the full automation of our project, our results can be integrated and used in other frameworks, to allow end-users and developers of software technologies to gain from theorem proving without the need of becoming experts of it.

Keywords: formal methods,automated reasoning,first order theorem proving,formal verification
Modulating the gut microbiome to enhance drug efficacy (BugDrug)

Framework: Horizon 2020 — Excellent Science
Programme: European Research Council (ERC)
Theme: European research council
Destination: Consolidator grants
Action type: ERC actions
Panel: Prevention, Diagnosis and Treatment of Human Diseases
Panel description: Medical technologies and tools for prevention, diagnosis and treatment of human diseases, therapeutic approaches and interventions, pharmacology, preventative medicine, epidemiology and public health, digital medicine
Countries involved: Netherlands
Call: ERC CONSOLIDATOR GRANTS (ERC-2020-COG, 2020)
Start date: 2021-09-01
End date: 2026-08-31
Duration (months): 60.0
Total project cost (EUR): 1999676.0
EU funding (EUR): 1999676.0
Participants: 1
Project status: SIGNED

Individual response rates to drugs that are widely prescribed to treat common diseases are typically in the range of 50-75%, yet the slow progress and high costs associated with new drug development do not meet the urgent need for new treatment options, particularly given the rapidly increasing burden of chronic diseases. This ERC project tackles this pressing issue by defining the impacts of the gut microbiome and genetics on drug metabolism, ultimately enabling personalized approaches that enhance efficacy and safety of already marketed drugs via microbiome modulation. I will start with 23 common drugs used to treat chronic cardiometabolic and psychiatric disorders that threaten public health. The project will address important technical and clinical challenges in three innovative parts: 1) a population-based cohort study using the unique LifeLines-10K cohort to build sophisticated models that take genetic, microbial and lifestyle/health factors into account to improve prediction of drug metabolism; 2) pharmacokinetics analyses using innovative, personalized organ-on-a-chip to better understand causality and mechanism; and 3) an intervention trial using probiotics to achieve greater drug efficacy through modulation of the gut microbiome. In particular, the project will deliver microbiome-targeting solutions to improve the efficacy and safety of one or two drugs and a next-generation drug-testing model that uses an innovative organ-on-a-chip system to mimic metabolic flow along the gut-liver axis while taking an individual’s genetics and gut microbiome into account. This project will lay the foundation for major advances in personalized medicine through: (i) better prediction of individual drug metabolism, which will aid therapeutic decision-making; (ii) better understanding of genetics-microbiome interactions in drug metabolism; and (iii) greater drug efficacy through modulation of the gut microbiome.
Next Generation Digital Mock-Ups for Multi-Physics Simulation (MUMPS)

Framework: Horizon 2020 — Excellent Science
Programme: Marie-Sklodowska-Curie Actions
Theme: Marie Skłodowska-Curie
Destination: Individual Fellowships (IF)-Standard European Fellowships
Action type: Marie Skłodowska-Curie actions
Panel: Information Science and Engineering
Countries involved: United Kingdom
Call: Marie Skłodowska-Curie Individual Fellowships (IF-EF) (H2020-MSCA-IF-2015, 2015)
Start date: 2016-12-01
End date: 2018-11-30
Duration (months): 24.0
Total project cost (EUR): 183454.8
EU funding (EUR): 183454.8
Participants: 1
Project status: CLOSED

ACARE’s vision 2050 for aerospace requires technological leadership in terms of managing the complexity of multidisciplinary design and development. Computational Simulation is essential to meet these challenges, but setting up complex numerical simulations for large assembly structures is extremely time-consuming and requires highly-skilled engineers. Even though solve time is often used as a key performance indicator, model preparation is typically orders of magnitude larger that the solution time. The main objective of this proposal will be to define the next generation of Digital Mock-Ups using an approach which models the complete design space (not only the structural parts but the adjacent void volumes containing air, gas etc.), subdivided appropriately and populated with simulation attributes. It will use information like component function and the interfaces between regions in the design space to infer functional behaviour in the assembly, allowing much more intelligence and automation in model preparation. The links between the equivalent representations of different regions in different models will be tracked, clarifying the links between disciplines and physics. This project will enable the researcher to initiate and develop collaborations between two research laboratories, both leaders in the field of design/simulation integration, and two leading industrial partners. This training is necessary to enable the researcher to develop a research career as a world expert in Computer-Aided Engineering, which requires both a strong engineering science background and strong links to industry. By demonstrating how to speed up the management and preparation of industrial simulation models, the researcher and the host will strive to be considered at the forefront of research and technology to develop the next generation of Digital Mock-Ups delivering a key differentiator for the European aerospace industry.

Keywords: digital mock up,simulation,modeling
Centre of Advanced Materials Research and Technology Transfer CAMART² (CAMART2)

Framework: Horizon 2020 — Spreading excellence and widening participation
Programme: Widening participation and spreading excellence
Theme: Improved access to Excellence
Action type: Specific Grant agreement
Countries involved: Sweden,Sweden,Latvia
Call: Teaming Phase 2 (H2020-WIDESPREAD-01-2016-2017-TeamingPhase2, 2016)
Start date: 2017-02-01
End date: 2025-01-31
Duration (months): 96.0
Total project cost (EUR): 14999955.0
EU funding (EUR): 14999955.0
Participants: 4
Project status: SIGNED

CAMART² (‘Excellence Centre of Advanced Material Research and Technology Transfer’) project is aimed to upgrade the existing Centre of Excellence at the Institute of Solid State Physics, University of Latvia (ISSP), which was established in 2001 by project CAMART realised within EC FP5. The current project CAMART² is based on a long-term partnership between ISSP, KTH Royal Institute of Technology – the largest technical university in Sweden and RISE Research Institutes of Sweden. ISSP is renowned for its scientific achievements in applied materials physics for micro- and nanotechnology, electronics, photonics, functional coatings etc. and related theoretical and characterization capability. The vision of CAMART² is to establish ISSP as the most important centre of excellence for education, science, innovation and technology transfer in the Baltic States. ISSP will also become the hub for a collaboration and technology transfer platform (called "RIX-STO") for materials physics based high technologies, including scientists, entrepreneurs, investors and policy makers on both sides of the Baltic Sea. The commitment from the Swedish partners assures successful modernization of ISSP, including an overall refinement of the educational programs, strengthening of the research and development activities towards higher technology readiness levels, establishment of an innovation system and Open Access Laboratory, as well as ISO 9001 certification. The partners will be active in an ambitious program for networking and outreach to make academia and high-tech industries in the region around Riga and Stockholm flourish with respect to scientific results, economic growth and increased competitiveness. The region will benefit from an injection of highly educated young people, closer collaboration between academia and industry, and offering state-of-the-art open access research infrastructure boosting innovation and economy.

Keywords: materials science,innovation,industry,advanced materials,photonics,nanotechnology,micro and nanoelectronics
The development of an innovative toolkit for learning programming with the use of the Internet of Things sensors and actuators (CodeAll)

Framework: Horizon 2020 — Industrial Leadership
Programme: Innovation in SMEs
Action type: SME instrument
Countries involved: Poland
Call: SME instrument (H2020-SMEInst-2018-2020-1, 2019)
Start date: 2019-12-01
End date: 2020-05-31
Duration (months): 6.0
Total project cost (EUR): 71429.0
EU funding (EUR): 50000.0
Participants: 1
Project status: CLOSED

CodeAll is a STEM tool consisting of a chatbot teaching programming and IoT sensors. CodeAll teaches programming and helps to develop algorithmic thinking by creating a smart environment using the Internet of Things sensors. For example, it allows the users to create a car parking sensor, an intelligent refrigerator, turn on the light after clapping, create an home alarm or receive a notification when a letter is detected in the mailbox. Teaching is conducted by an intelligent assistant supported by artificial intelligence called CodeOwl. CodeOwl monitors the programming process, provides tips that help the user create new programs and suggests repetitions. CodeAll is a tool that consists of software and hardware parts. The hardware part is made up of a SmartBox, which connects wirelessly to a set of sensors and actuators. After connecting SmartBox to a computer, phone or tablet, the user just logs in to the portal where the lessons are presented. Within each of them, the user creates or modifies the code according to the tips provided by the bot. The code may be uploaded directly from the browser to the SmartBox. After starting the program, SmartBox connects to the sensors and performs programmed actions. CodeAll allows the users to acquire Junior Developer knowledge. The scope of the teaching material includes the following topics: variables, types, operators, conditional statements, functions, loops, classes and objects, code debugging. CodeAll has won many awards, including the Edulab competition for the best educational startup in Poland, was selected to Google Launchpad Start acceleration program and Swiss Kickstart acceleration program.

Keywords: learning programming,machine learning
OPEN COLLABORATIVE PLATFORM FOR ARCHITECTURE, ENGINEERING AND CONSTRUCTION PROJECTS (BIMSERVER.CENTER)

Framework: Horizon 2020 — Industrial Leadership
Programme: Innovation in SMEs
Action type: SME instrument
Countries involved: Spain
Call: SME instrument (H2020-SMEInst-2018-2020-1, 2018)
Start date: 2018-12-01
End date: 2019-05-31
Duration (months): 6.0
Total project cost (EUR): 71429.0
EU funding (EUR): 50000.0
Participants: 1
Project status: CLOSED

CYPE SOFT has more than 35 years of experience in software development for Architecture, Engineering and Construction (AEC). They detected construction sector is one of the less digitalized in EU because there is a huge diversity of privative AEC solutions in the market, with high price licenses that are not affordable for all users. CYPE aims to consolidate an open collaborative environment where all agents involved in the construction sector can interoperate and share information using an open standard, the IFC format. BIMSERVER.CENTER will change the AEC software paradigm becoming the ‘construction social network’, a space where professionals can work in a common project using any AEC tool. BIMSERVER.CENTER is disruptive because: • Collaborative and synchronized workflow enables to use different software solutions in a same project. • Big Data approach create jobs promoting collaborations based on the needs of specific project owners. BIMSERVER.CENTER minimum viable product was developed in 2017. At the moment it has more than 16.000 users working in more than 20.000 active projects. Now is the moment to scale-up the system and reach the hundred thousand potential users looking for free and universal solutions for collaborating in the complete lifecycle of construction process. CYPE will use its current customers network of more than 60.000 users in Europe and South America as starting point for expansion. Current relationships with strategic stakeholders (professional associations, providers and educational centers) will spread the platform. BIMSERVER.CENTER aims to be an interoperable worldwide tool. Business model is based on a win-win strategy: free use for basic accounts and payment for advanced uses as App store, users with high storage availability, possitioning, etc. A conversion rate from FREE to PAY PER USE of 36% in first 3 months of operation, only from word of mouth beta testers, demonstrates the high business potential of BIMSERVER.CENTER.

Keywords: big data,collaboration,software,construction social network,open access
The Scoto-British Subjects of James I: Literature, Europe and Nation Building in Newly United Great Britain, 1603-1617. (Scoto-British)

Framework: Horizon 2020 — Excellent Science
Programme: Marie-Sklodowska-Curie Actions
Theme: Marie Skłodowska-Curie
Destination: Individual Fellowships (IF)-Standard European Fellowships
Action type: Marie Skłodowska-Curie actions
Panel: Social Sciences and Humanities
Countries involved: United Kingdom
Call: Individual Fellowships (H2020-MSCA-IF-2020, 2020)
Start date: 2022-01-09
End date: 2024-01-08
Duration (months): 24.0
Total project cost (EUR): 212933.76
EU funding (EUR): 212933.76
Participants: 1
Project status: SIGNED

This project focuses on the Scoto-British subjects of James I. After the Union of of the Crowns in 1603, many Scottish writers and intellectuals moved to London, while James promoted the creation of a British national identity. Several Scottish writers referred to themselves as Scoto-British, openly supporting James’ British policies while displaying their consciousness of a distinct national identity. This project considers the period between 1603-1617, focusing on the (mostly still unedited) literature produced by Scoto-British writers, with the aim of clarifying their role in the creation of a shared idea of Britishness. The context for this research is that of early modern Europe, often regarded as the cradle of modern national sentiment. The negotiation process that resulted from the King's attempts to foster a unified Britain was complicated by the deep cultural and political bond between Scotland and Continental Europe. The project gives particular consideration to gender aspects, given the role of the court of Anna of Denmark in the cultural dynamics of the Jacobean world, and to ephemeral and occasional literature, neglected by literary histories until very recently. This project has a highly multi-disciplinary and cross-disciplinary focus, involving philology (codicology, palaeography and book studies), history (prosopography, political and identity history, literary history), practical skills, and a significant component of outreach and communication. By focusing on an under investigated sector of early Stuart society, this research will transform our understanding of the Jacobean period. Given the relevance of issues of British identity and European belonging to the current political discourse, this project will deeply impact both the scholarly and the wider world, stimulating scholarly research on a lesser-investigated topic and encouraging an educated debate on national and supranational identities in the UK and in the EU.

Keywords: unedited literature in manuscript and print,scoto british,scoto european,great britain,early modern european literature,early modern identity,national identity,british identity
Innovative solutions for metallic ribs or fittings introduced in a composite box to optimally deal with thermo-mechanical effects (INNOHYBOX)

Framework: Horizon 2020 — Societal Challenges
Programme: Smart, green and integrated transport
Theme: Public-private partnerships
Destination: Clean Sky 2
Action type: Research and Innovation actions
Partnership: CS2 (Art-187)
Countries involved: Spain,Spain,Spain
Call: Innovative solutions for metallic ribs or fittings introduced in a composite box to optimally deal with thermo-mechanical effects (H2020-CS2-CFP06-2017-01, 2017)
Start date: 2018-03-01
End date: 2021-04-30
Duration (months): 38.0
Total project cost (EUR): 749682.5
EU funding (EUR): 749682.5
Participants: 3
Project status: CLOSED

The objective of this project is to develop a thorough understanding of the thermo-mechanical behaviour of a hybrid box with composite panels but including metallic ribs or fittings. A building-up approach, from different materials CTE characterization up to the validation of a whole box assembly section, is required to develop and validate the capacity to properly modelize the thermo-mechanical effect in hybrid assemblies. Based on this developed methodology, innovative solutions will be studied for the metallic components of a composite wing-box.

Keywords: hybrid,moisture,models,methods,multimaterial structure,composite,titanium,aluminium
Edge and CLoud Computation: A Highly Distributed Software Architecture for Big Data AnalyticS (CLASS)

Framework: Horizon 2020 — Industrial Leadership
Programme: Information and Communication Technologies
Action type: Research and Innovation actions
Partnership: BDVA (cPPP)
Countries involved: Italy,Spain,Spain,Israel,Italy,Spain
Call: Big data PPP: research addressing main technology challenges of the data economy (H2020-ICT-2017-1, 2017)
Start date: 2018-01-01
End date: 2021-06-30
Duration (months): 42.0
Total project cost (EUR): 3900802.5
EU funding (EUR): 3900802.5
Participants: 9
Project status: CLOSED

Big data applications processing extreme amounts of complex data are nowadays being integrated with even more challenging requirements such as the need of continuously processing vast amount of information in real-time. Current data analytics systems are usually designed following two conflicting priorities to provide (i) a quick and reactive response (referred to as data-in-motion analysis), possibly in real-time based on continuous data flows; or (ii) a thorough and more computationally intensive feedback (referred to as data-at-rest analysis), which typically implies aggregating more information into larger models. Given the apparently incompatible requirements, these approaches have been tackled separately although they provide complementary capabilities. CLASS aims to develop a novel software architecture to help big data developers to combine data-in-motion and data-at-rest analysis by efficiently distributing data and process mining along the compute continuum (from edge to cloud) in a complete and transparent way, while providing sound real-time guarantees. CLASS aims at adopting (1) innovative distributed architectures from the high-performance domain; (2) timing analysis methods and energy-efficient parallel architectures from the embedded domain; and (3) data analytics platforms and programming models from the big-data domain. The capabilities of the CLASS framework will be demonstrated on a real smart-city use case, featuring a heavy sensor infrastructure to collect real-time data across a wide urban area, and prototype cars equipped with heterogeneous sensors/actuators, V2I connectivity, and cluster support to present the innovative capabilities to drivers. Representative applications for traffic management and advanced driving assistance domains have been selected to efficiently process very large heterogeneous data streams in real-time, providing innovative services while preparing the technological background for the advent of autonomous vehicles

Keywords: combined data in motion and data at rest analytics,distributed computing,real time data analytics,smart cities,cloud computing,edge computing,data analytics platforms