Data-Gouv-ML/pcri-informations-sur-les-projets-laureats huggingface dataset:
Provably Correct Networks (CORNET)

Framework: Horizon 2020 — Excellent Science
Programme: European Research Council (ERC)
Theme: European research council
Destination: Starting grants
Action type: ERC actions
Panel: Computer science and informatics
Panel description: Informatics and information systems, computer science, scientific computing, intelligent systems
Countries involved: Romania
Call: ERC Starting Grant (ERC-2017-STG, 2017)
Start date: 2018-01-01
End date: 2023-06-30
Duration (months): 66.0
Total project cost (EUR): 1325000.0
EU funding (EUR): 1325000.0
Participants: 1
Project status: SIGNED

Networks are the backbone of our society, but configuring them is error-prone and tedious: misconfigured networks result in headline grabbing network outages that affect many users and hurt company revenues while security breaches that endanger millions of customers. There are currently no guarantees that deployed networks correctly implement their operator’s policy. Existing research has focused on two directions: a) low level analysis and instrumentation of real networking code prevents memory bugs in individual network elements, but does not capture network-wide properties desired by operators such as reachability or loop freedom; b) high-level analysis of network-wide properties to verify operator policies on abstract network models; unfortunately, there are no guarantees that the models are an accurate representation of the real network code, and often low-level errors invalidate the conclusions of the high-level analysis. We propose to achieve provably correct networks by simultaneously targeting both low-level security concerns and network-wide policy compliance checking. Our key proposal is to rely on exhaustive network symbolic execution for verification and to automatically generate provably correct implementations from network models. Generating efficient code that is equivalent to the model poses great challenges that we will address with three key contributions: a) We will develop a novel theoretical equivalence framework based on symbolic execution semantics, as well as equivalence-preserving model transformations to automatically optimize network models for runtime efficiency. b) We will develop compilers that take network models and generate functionally equivalent and efficient executable code for different targets (e.g. P4 and C). c) We will design algorithms that generate and insert runtime guards that ensure correctness of the network with respect to the desired policy even when legacy boxes are deployed in the network.

Keywords: network verification,symbolic execution,provable correctness
Catalan European Researchers' Night (EuNightCat20)

Framework: Horizon 2020 — Excellent Science
Programme: Marie-Sklodowska-Curie Actions
Theme: Marie Skłodowska-Curie
Destination: European researchers' Night
Action type: Marie Skłodowska-Curie actions
Countries involved: Spain,Spain,Spain,Spain
Call: European Researchers' Night (H2020-MSCA-NIGHT-2020, 2020)
Start date: 2020-06-01
End date: 2021-05-31
Duration (months): 12.0
Total project cost (EUR): 141137.5
EU funding (EUR): 85000.0
Participants: 7
Project status: CLOSED

The Catalan European Researchers’ Night 2020 (EuNightCat20) project consists in a one-year proposal for 2020, with many different activities hold all around Catalonia. In September 25th 2020, seven different partners will coordinate more than 250 activities which will be performed from north-east (Girona), to the north-west (Lleida), going through the center of Catalonia (Osona), Barcelona and arriving at the south (Tarragona and Terres de l’Ebre). The proposal has a main subject based on let the general public to aware about the next mission-oriented program of European Commission (EU), mainly in the idea of how Researchers can help to change the world, to a better world (Researchers for Change). All these activities will be tagged within the different missions proposed by EU to show how important are they to meet the different challenges. EuNightCat20 is divided in five common activities at all locations: (a) Research meets Schools During Friday morning, researchers are going to schools to show their research and vice versa. Researcher will encourage students to follow a scientific career; (b)Catalan European Researchers’ Night – More than 200 activities are programmed all around Catalonia during Friday evening/night. A common European Corner will be allocated in each location for people to proposed project/solutions/ideas within each missionspecial attention will be paid to Horizon Europe Missions; (c) Researchers on the way – Common project where Researchers participating in the ERN will record short videos explaining, while they are travelling to the office/lab by train, walking, car, bike, etc. what is their Research about. The videos will be used to promote researchers, research and EuNightCat20; (d) Women in Science –Exhibition of 30 Catalan researcher women will be shown in each location, with the physical presence of them in the different locations; (e) Stumble upon Research – During Saturday morning, research will be found in daily places (malls, markets)

Keywords: researchers,research communication,scientific vocations,dissemination activities,science with and for society
AN IN VIVO BIOENGINEERED CHIP AS A SMART INTRAVITAL MULTIPHOTON IMAGING WINDOW FOR NEW VALIDATION PROTOCOLS OF BIOMATERIALS (IN2SIGHT)

Framework: Horizon 2020 — Excellent Science
Programme: Future and Emerging Technologies (FET)
Theme: EIC Pathfinder
Destination: Novel ideas for radically new technologies
Action type: Research and Innovation actions
Countries involved: Italy,Israel,Germany,Spain,Greece,Greece
Call: FET-Open Challenging Current Thinking (H2020-FETOPEN-2018-2019-2020-01, 2020)
Start date: 2021-03-01
End date: 2025-02-28
Duration (months): 48.0
Total project cost (EUR): 3438959.0
EU funding (EUR): 3438959.0
Participants: 8
Project status: SIGNED

Routine clinical use of biomaterials requires the reduction of the economical and ethical costs of biocompatibility tests (ISO10993 EU norm) which are unsustainable for small-medium industries and for the society. In this project we foster an unprecedented breakthrough in in-vivo optical imaging that will radically renew the biocompatibility tests of biomaterials. A micro-structured chip, built by two-photon laser polymerization (2PP), will be implanted in lab animals, host a biomaterial and contain micro-features that guide the spontaneous regeneration of vascularized tissue within a thin gap (0.15mm) in contact with the biomaterial and act as beacons to correct the optical aberrations. The same chip carries a micro-lenses array for in-situ multi-spot imaging, with no need of external high numerical aperture objectives, dramatically improving light penetration in tissue. This chip will recast our thinking of deep tissue in-vivo imaging: the mice carry their own imaging optics, thus reducing substantially image aberration issues allowing unprecedented quantitative and longitudinal analyses of the host inflammatory response to the implant, without sacrificing the mice at each time step. The project will allow unique quantification of the immune reaction to biomaterials at the cellular level (scientific impact), reduce (at least threefold) the number of used animals (societal impact) and the costs of biomaterial discovery (economical impact), and will Refine and Reduce protocols for biocompatibility on a single revolutionary device (regulatory impact). We open here a new visionary path for in-vivo imaging with high Replacement potential in oncological pharmaceutics and immune-therapies. 4 academic units, 1 public research institute and 2 SMEs ensure a highly inter-sectorial/interdisciplinary approach encompassing non-linear intravital imaging, bioengineering design, 2PP material science, biocompatibility protocols design and numerical simulations of immune response.

Keywords: in vivo optical imaging,2 photon activated polymerization,bioengineering,biocompatibility tests,materials for implants,nanoparticles,preclinical testing
New ideas for the Variational Approach to Brittle and Cohesive Fracture (BriCoFra)

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: Mathematics
Countries involved: France
Call: Individual Fellowships (H2020-MSCA-IF-2017, 2017)
Start date: 2018-10-01
End date: 2020-09-30
Duration (months): 24.0
Total project cost (EUR): 173076.0
EU funding (EUR): 173076.0
Participants: 1
Project status: CLOSED

During World War I the English aeronautical engineer A.A. Griffith formulated a theory to explain failure of materials, based on the idea that crack growth is the result of the competition between the surface energy spent to produce the fracture and the energy stored in the uncracked region. Griffith's viewpoint, that by its own nature is variational, found a rigorous mathematical setting in the variational formulation for quasistatic evolutions by Francfort and Marigo, in 1998. Remarkably, this work provides a general framework for several problems in Fracture Mechanics, including post-Griffith theories, in particular the one due to Barenblatt. Griffith and Barenblatt theories differ in the surface energy dissipated in the fracture process: the first is proportional to the measure of fracture set (surface in 3d, length in 2d), the latter depends also on the amplitude of the opening between the two sides of the crack. Microscopically, in the first case (brittle fracture) any material point is either broken or sound, in the latter (cohesive fracture) restorative forces, depending on the opening, are present between the lips of the crack set. Particular choices of cohesive dissipation in the evolution may describe fracture by fatigue. Fatigue occurs when a material degrades by repeated loading and unloading. Fracture by fatigue is extremely dangerous and difficult to predict, since it happens in normal operating conditions without evident warnings. Moreover, it is responsible of about the 90% of failure occurrences. Despite its importance, both the mathematical and the mechanical treatment of fatigue by fracture are much less general than those for brittle fracture. Nevertheless, even the existence of quasistatic evolutions for 3d brittle fracture is still an open problem. This action aims both to prove such existence result with an innovative combination of two apparently alternative approaches, and to explore the rich field of fracture by fatigue.

Keywords: calculus of variations,geometric measure theory,brittle fracture,cohesive fracture,fatigue,quasistatic evolutions
Stromal stress networks underlying phenotypic plasticity and tumor fitness (StroMaP)

Framework: Horizon 2020 — Excellent Science
Programme: European Research Council (ERC)
Theme: European research council
Destination: Starting grants
Action type: ERC actions
Panel: Physiology in Health, Disease and Ageing
Panel description: Organ and tissue physiology, comparative physiology, physiology of ageing, pathophysiology, interorgan and tissue communication, endocrinology, nutrition, metabolism, interaction with the microbiome, non-communicable diseases including cancer (and except disorders of the nervous system and immunity-related diseases)
Countries involved: Israel
Call: ERC Starting Grant (ERC-2017-STG, 2017)
Start date: 2017-10-01
End date: 2022-09-30
Duration (months): 60.0
Total project cost (EUR): 1499990.0
EU funding (EUR): 1499990.0
Participants: 1
Project status: CLOSED

The contribution of genetic and epigenetic changes to rewiring of cancer cells into their malignant state has been much studied. But tumors are more than cancer cells and the tumor microenvironment (TME) is a key player in tumor progression. We lack an overarching view of how, despite being genomically stable, the TME is heterogeneously reprogrammed across time and space to promote evolution of aggressive disease. Recently I discovered that Heat-Shock Factor 1 (HSF1), a cytoprotective transcription factor (TF), is vital to this reprogramming, promoting malignancy in patients and mice upon activation in the stroma. Other stress TFs have also been implicated. This leads me to hypothesize that stress responses help tumors adapt and evolve into aggressive malignancies, by enabling heterogeneity and phenotypic diversity in the TME. This plasticity is achieved through cycles of massive transcriptional rewiring orchestrated by a network of stress TFs. To test this hypothesis in a global way we will proceed in three aims. First we will define patterns of stress response activation in the TME by multiplexed immunofluorescence of patient tumors. Then, we will map the associated transcriptional landscape in patients by RNA-sequencing down to single cell resolution and interrogate it in the context of a novel theory of evolutionary tradeoffs so as to discover signatures that promote tumor aggressiveness. Next, we will identify actionable nodes for intervention and test them in cell co-cultures and mouse models. The expected outcome of the proposed research is a detailed network of stress responses that can explain how the TME is rewired in tumors and how variable this rewiring is. This knowledge will provide new ways to target the TME in order to complement treatments focused on cancer cells. More generally, we address key aspects of stress responses, tissue plasticity, hoemostasis and evolution that are expected to be valuable across diverse fields of biology.

Keywords: tumor microenvironment,tumor heterogeneity,stress responses,transcription regulation,cancer evolution,evolutionary medicine
Environmentally best practices and optmisation in hydraulic fracturing for shale gas/oil development (BESTOFRAC)

Framework: Horizon 2020 — Excellent Science
Programme: Marie-Sklodowska-Curie Actions
Theme: Marie Skłodowska-Curie
Destination: Research and innovation staff exchange
Action type: Marie Skłodowska-Curie actions
Panel: Information Science and Engineering
Countries involved: Germany,Ecuador,Germany,Italy,Germany,China,Netherlands,United Kingdom,Viet Nam
Call: Research and Innovation Staff Exchange (H2020-MSCA-RISE-2016, 2016)
Start date: 2017-01-01
End date: 2022-10-31
Duration (months): 70.0
Total project cost (EUR): 1930500.0
EU funding (EUR): 1669500.0
Participants: 10
Project status: SIGNED

This research brings together the complementary expertise of our consortium members to gain a better understanding of the physics in hydraulic fracturing (HF) with the final goal to optimize HF practices and to assess the environmental risks related to HF. This requires the development and implementation of reliable models for HF, scaled laboratory tests and available on-site data to validate these models. The key expertise in our consortium is on modelling and simulation of HF and all partners involved pursue different computational approaches. However, we have also some partners in our consortium which focus on scaled laboratory tests and one company which can provide on-site data. The choice of the best model for HF still remains an open question and this research promises to quantify uncertainties in each model and finally provide a guideline how to choose the best model with respect to a specific output parameter. The final objective is to employ these models in order to answer some pressing questions related to environmental risks of HF practices, including 1. How does HF interact with the natural fractures that intersect the shale seam?’ 2. How does the fracture network from a previous stage of HF treatment affect the fracture network evolution in succeeding, adjacent stages? 3. What are the requirements to constrain fractures from propagating to the adjacent layers of confining rock? The exchange and training objectives are to: 4. Enhance the intersectoral and interdisciplinary training of ERs and ESRs in Computational Science, Mining Geotechnics, Geomechanics, Modeling and Simulation 5. Strengthen, quantitatively and qualitatively, the human potential in research and technology in Europe 6. Advance the scientific contribution of women researchers in this area dominated by male 7. Create synergies with other EU projects 8. Enable and support all ESRs/ERs to keep contact with international community in the sense of training and transfer of knowledge

Keywords: hydraulic fracturing,geotechnical engineering,porous media,multi physics
DRAIOCHT- A low-cost minimally invasive platform medical device for the treatment of disorders of the cardiovascular system. (DRAIOCHT)

Framework: Horizon 2020 — Excellent Science
Programme: European Research Council (ERC)
Theme: European research council
Destination: Proof of concept grants
Action type: ERC actions
Countries involved: Ireland
Call: ERC-Proof of Concept (ERC-2017-PoC, 2017)
Start date: 2019-01-01
End date: 2019-12-31
Duration (months): 12.0
Total project cost (EUR): 130310.0
EU funding (EUR): 130310.0
Participants: 1
Project status: CLOSED

Microwave ablation produces a small and highly controllable heating zone, ideal for the thermal treatment of a range of medical conditions where damage to adjacent structures is a significant risk. Potential applications range from the treatment of small soft-tissue cancers to the management of various venous disorders. The DRAIOCHT project will involve the design, development and pre-clinical evaluation of a novel microwave ablation device for the treatment of disorders of the venous system. The proposed device will provide a new low cost therapeutic medical device, that places greater value on the protection of crucial functional tissue and nerves compared to current ablation devices on the market. The project is of significant economic and societal benefits due to the high prevalence of venous diseases in Europe.

Keywords: microwave ablation,varicose veins,venus disease,electrical stimulation,medical devices
Extended Reality For DisasteR management And Media plAnning (xR4DRAMA)

Framework: Horizon 2020 — Industrial Leadership
Programme: Information and Communication Technologies
Action type: Innovation actions
Countries involved: Spain,Germany,Italy,Germany,Italy,Greece,Greece
Call: Interactive Technologies (H2020-ICT-2019-3, 2019)
Start date: 2020-11-01
End date: 2023-04-30
Duration (months): 30.0
Total project cost (EUR): 2318500.0
EU funding (EUR): 1999450.0
Participants: 7
Project status: SIGNED

The underlying approach within xR4DRAMA is to create and enhance this situation awareness for those who are – remotely as well as directly – engaged in handling disasters, man made crises or public events or the aftermaths thereof in remote locations. The groups usually involved in such events range from first responders, local authorities and security forces, to media companies and event planners. They all need to dive into the given situation, either by planning or executing a mission connected to the event at hand. In xR4DRAMA the proof of concept will focus on first responders and media companies before extending the use cases to other domains. xR4DRAMA aims at enhancing situation awareness through, especially, XR technologies in order to: • facilitate the sourcing of all relevant information needed to plan necessary actions; • create an „as if on site“ experience of an environment (e.g. in VR) to anticipate the planned event or an incident as thoroughly as possible; • create a joint understanding of an environment (a “distributed situation awareness”) to be shared by team members, allowing for smoother communication and consultation; • provide the possibility to continuously update the representation of the location (e.g. in VR) during the evolving incident/event in order to understand and potentially re-assess consequences of specific decisions. xR4DRAMA will use XR technologies and integrated systems fed with live sensor data in order to anticipate situations as accurately as possible, so that decisions can be made as informed and efficient as possible. xR4DRAMA aims at creating a tool for multiple domains, from outdoor media production planning to disaster management. It can be used remotely and on site for an augmented and shared perception of a given situation, in order to facilitate more efficient and resource-saving planning as well as a frictionless implementation of the planned action.
PrDx - Advanced Software for Predicting the Immune Response During Drug Development (ImmuniPrDx)

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

>90% of drug and vaccine candidates fail during drug development, resulting in an average of €35M lost per drug for the pharma companies, and a slow and expensive drug development process. A major reason for failure is unwanted/lack of immune response of the drug/vaccine candidate. Thus, immunogenicity prediction tools, Epitope Prediction Software (EIPS) and assays, are important for cost-effective and safe drug development. However, available EIPS are over-predictive and limited: using the current gold standard EIPS netMHC, <10% of the predicted immunogenic epitopes induce an immune response. Immunitrack has developed a next generation EIPS - PrDx - that with high accuracy and no false positives far exceeds the performance of netMHC. PrDx, to be applied alone or in combination with our successfully commercialized immunogenicity assays, is a strong tool for streamlining drug and vaccine development, meeting user needs for multiple applications: i) identify immunogenic epitopes to be included in a vaccine; ii) identify unwanted immunogenic properties of a newly developed drug, and iii) guide treatment by assessing patient immune response. For commercialisation, PrDx must be shaped into a customer friendly format and meet regulatory demands; the goal of the Innovation project is to conduct activities related to certifications and requirements, and user tests for demonstration and validation, critical for PrDx awareness and knowledge of user benefits. Immunitrack will sell PrDx reports for drug/vaccine candidate immunogenicity screening and complementing immunogenicity assays, through direct and indirect sales with a predicted accumulated turnover of €56M 5 years post commercialization. Immunitrack has unique capacities confirmed by our 90 customers within PrDx’s target group, from Europe, US and Asia, including several top pharma companies.

Keywords: immuno oncology,biologics randd and clinical trials,precision medicine