Data-Gouv-ML/pcri-informations-sur-les-projets-laureats huggingface dataset:
Supervised Verification of Infinite-State Systems (SVIS)

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: Israel
Call: ERC Starting Grant (ERC-2017-STG, 2017)
Start date: 2018-04-01
End date: 2025-10-31
Duration (months): 91.0
Total project cost (EUR): 1499528.0
EU funding (EUR): 1499528.0
Participants: 1
Project status: SIGNED

Modern society relies more and more on computing for managing complex safety-critical tasks (e.g., in medicine, avionics, economy). Correctness of computerized systems is therefore crucial, as incorrect behaviors might lead to disastrous outcomes. Still, correctness is a big open problem without satisfactory theoretical or practical solutions. This has dramatic effects on the security of our lives. The current practice in industry mainly employs testing which detects bugs but cannot ensure their absence. In contrast, formal verification can provide formal correctness guarantees. Unfortunately, existing formal methods are still limited in their applicability to real world systems since most of them are either too automatic, hindered by the undecidability of verification, or too manual, relying on substantial human effort. This proposal will introduce a new methodology of supervised verification, based on which, we will develop novel approaches that can be used to formally verify certain realistic systems. This will be achieved by dividing the verification process into tasks that are well suited for automation, and tasks that are best done by a human supervisor, and finding a suitable mode of interaction between the human and the machine. Supervised verification represents a conceptual leap as it is centered around automatic procedures but complements them with human guidance; It therefore breaks the classical pattern of automated verification, and creates new opportunities, both practical and theoretical. In addition to opening the way for developing tractable verification algorithms, it can be used to prove lower and upper bounds on the asymptotic complexity of verification by explicitly distilling the human's role. The approaches developed by this research will significantly improve system correctness and agility. At the same time, they will reduce the cost of testing, increase developers productivity, and improve the overall understanding of computerized systems.

Keywords: formal verification,model checking
The Next-Generation of Small, Cost-Effective and Mobile Brain Scanner for an Early Detection of Alzheimer’s Disease (BPET)

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

Alzheimer’s (AD) is a global epidemic with 50 M people suffering it and 76 M expected by 2030 (related costs near $1 Tri in 2018). To diminish its burden, an early detection is crucial, specially when modifying treatments become available. The most accurate method to measure AD hallmarks is positron emission tomography (PET), but current PET scanners are multi-modal, whole-body, room-filling, expensive to acquire (€1-5 M) and not commonly used. Thus, there is still a need for more efficient diagnostic tools to detect AD at an early stage to adopt the best live-lasting treatment. Positrigo is a Swiss start-up, founded with the goal of provide an efficient PET tool for the early diagnosis of neurodegenerative diseases. Our technology has enabled us to develop a first prototype of BPET which has been preliminary tested in the laboratory with high performance. BPET is a dedicated mobile brain scanner with the size of a drying hood, 10x less capital (€400 k instead of millions) and 5x less operational expenses than current scanners. It will greatly improve early diagnosis of AD, facilitate its treatment follow-up and contribute to accelerate drug development programs, with a 10x increase in scanning capacity. BPET can be sold to hospitals and clinical research organizations, tailored to the needs of patients and doctors, and it can enable new case uses of brain PET (e.g many scanners used in parallel, wider populations, in larger cohort research studies). Diverse hospitals have shown their interest in BPET and their support for its complete development for its potential applications and impact. To launch BPET in the healthcare market we need its CE marking, clinical validation and industrial adaptation, so a total of €2.5M for phase 2 will be requested. BPET project will pave the way for our company to be established as an innovative alternative in scanner-based diagnosis, boosting our company to grow and reach around €30 M profits and a ROI of 7.4 after 5 years.

Keywords: alzhemier s,positron emission tomography,brain scanner,early dignosis,amyloid plaques
Exploring strong correlations in flat bands (FLATBANDS)

Framework: Horizon 2020 — Excellent Science
Programme: European Research Council (ERC)
Theme: European research council
Destination: Starting grants
Action type: ERC actions
Panel: Fundamental constituents of matter
Panel description: Particle, nuclear, plasma, atomic, molecular, gas, and optical physics
Countries involved: Germany,Germany
Call: ERC Starting Grant (ERC-2019-STG, 2019)
Start date: 2020-09-01
End date: 2026-02-28
Duration (months): 66.0
Total project cost (EUR): 1499640.0
EU funding (EUR): 1499640.0
Participants: 2
Project status: SIGNED

One spectacular phenomenon in quantum many-body systems is the emergence of non-local quasiparticles with fractional quantum numbers and anyonic statistics. Of fundamental interest, fractionalization also holds promise for fault-tolerant quantum computation motivating the search for such exotic phases of matter. Signatures of this phenomenon remain sparse and mostly restricted to fractional quantum Hall states, despite being predicted to also occur in other systems such as frustrated quantum magnets. An essential feature shared by both systems is the massive ground state degeneracy, or flat band, out of which fractionalization emerges. The underlying non-local topological order of such phases is an outstanding experimental challenge to detect with only local observables. Building on my experience to study "hidden" order in one dimensional systems, I will address the physics of strong correlations in two and three dimensional flatbands using ultracold atoms and the unique probes of atomic physics. I propose in FLATBANDS to build a novel strontium quantum gas microscope to study both fractional quantum Hall states and highly frustrated magnets. I will first rotate mesoscopic dilute Bose gases to mimic the behaviour of electrons in magnetic fields. Using observables down to individual particles, I will study density-density correlations in the lowest Landau level, providing signatures of emerging Laughlin-like states. On the same platform, I will measure spin correlations and detect fractionalization in highly frustrated magnets. Using atoms trapped in programmable tweezer arrays and excited in Rydberg states, I will engineer quantum spin-ice and directly observe the emergence of magnetic monopoles. By following two complementary routes to address strong correlations and topological order, FLATBANDS will open fascinating perspectives with impact in quantum information, quantum computation, and condensed matter physics.

Keywords: quantum gases,quantum simulation,quantum gas microscope,strongly correlated systems
High-performance aerodynamics and aeroacoustics simulations of the new generation of high-speed gas turbines via high-order Galerkin methods (AEROSIMULAT)

Framework: Horizon 2020 — Excellent Science
Programme: Marie-Sklodowska-Curie Actions
Theme: Marie Skłodowska-Curie
Destination: Individual Fellowships (IF)-Global Fellowships
Action type: Marie Skłodowska-Curie actions
Panel: Information Science and Engineering
Countries involved: Spain,United States
Call: Individual Fellowships (H2020-MSCA-IF-2018, 2018)
Start date: 2020-09-01
End date: 2023-08-31
Duration (months): 36.0
Total project cost (EUR): 245732.16
EU funding (EUR): 245732.16
Participants: 2
Project status: SIGNED

The main goal of this project is to perform efficient and accurate simulations of the turbulent compressible flow and generated noise on the new high-speed gas turbines at operation conditions, with the aim of supporting engineers in the design of efficient engines and effective noise reduction solutions. The main difficulty is to correctly simulate, in an acceptable wall- clock time, high Reynolds and high Mach numbers turbulent flows with important regions of separation and the different length scales and amplitudes among the acoustic and the flow fields. In this project we propose to tackle these problems by introducing high-order Galerkin methods and a skin friction boundary condition technique extended to compressible flows. Both techniques demonstrated impressive performance results on a different context. Given the fellow’s expertise in compressible flows, and her Third Country host’s expertise in high-order Galerkin methods, we are in a unique position to advance in the solution of this problem. A high performance computing simulation tool developed at the host institution will be used and developed as open source within this project. To go one step further within this interdisciplinary subject, we will establish a close collaboration with CTA, a company in the host country specialized in testing aerospace materials, where the fellow will spend one month of research. During this visit, the simulation results of their turbine prototypes will be analyzed and will be validated against their experimental data. The fellow will extend her network in the scientific and industrial communities. She will gain new managerial skills and a scientific maturity that will open her doors to obtain a strong research position in Europe. The host and the Third Country host supervisors will also benefit from the advances of this promising collaboration. The obtained results are expected to lead to further research and enhance the prospects of new projects.

Keywords: computational fluid dynamics,aerodynamics simulation,aeroacoustics simulation,compressible turbulent flow,high order galerkin methods,high speed gas turbines,high performance computing
A Multi-Sided Business Platform for Plug and Produce Industrial Product Service Systems (MARKET4.0)

Framework: Horizon 2020 — Industrial Leadership
Programme: Nanotechnologies, Advanced Materials, Advanced Manufacturing and Processing, and Biotechnology
Theme: Technologies for Factories of the Future
Action type: Innovation actions
Countries involved: Italy,Spain,Italy,Italy,Austria,Germany,Spain,Lithuania,Greece,Greece,Belgium,France,France,France,Netherlands,Netherlands,Netherlands,Luxembourg
Call: A digital 'plug and produce' online equipment platform for manufacturing (IA) (H2020-NMBP-PLUG-2018, 2018)
Start date: 2018-11-01
End date: 2022-04-30
Duration (months): 42.0
Total project cost (EUR): 8487724.29
EU funding (EUR): 7500000.0
Participants: 19
Project status: CLOSED

The objective of MARKET4.0 is to define, develop and validate an open multi-sided marketplace, based on a trusted P2P data sharing infrastructure for Industry 4.0, that brings together Industrial Product Service Systems (IPSS) providers (supply side) and OEMs as their customers (demand side). It will allow direct interaction among the different sides to improve the sales power of production equipment SMEs. MARKET4.0 will offer advanced web-presence of production equipment SMEs extended by functionalities such as simulations, VR/AR capabilities and a P2P (Industrial Data Space) offering smart user-services and a secure API to try and test the Digital Twin of the production equipment, on top supplier and customer data. This will facilitate direct transactions between market peers (supplier-to-supplier, supplier-to-customer, customer-to-suppliers and more) during the entire B2B lifecycle, i.e. from equipment search to procurement and commissioning. MARKET4.0 will create trust in the business transactions between SME production equipment manufacturers and their customers, as an integral element of the Industrial Data Space (IDS) reference architecture. It includes technological trust (simulation before purchasing), financial trust (Blockchain distributed ledger technology for secure payment), delivery and (anonymized) feedback. In MARKET4.0 the supply side (mainly SMEs) may offer a) production equipment, b) services that extend the capabilities of the production equipment, c) production equipment as a service and d) collaborative engineering services. The marketplace will generate additional value by providing engineering services and acting as a mediator between suppliers and customers.
Liquid Biopsy blood test in lung cancer diagnosis and monitoring: a next generation noninvasive tumor tracker device (CELLETEST)

Framework: Horizon 2020 — Societal Challenges
Programme: Health, demographic change and wellbeing
Theme: Treating and managing disease
Action type: SME instrument
Countries involved: Italy
Call: Clinical research for the validation of biomarkers and/or diagnostic medical devices (H2020-SMEINST-1-2014, 2014)
Start date: 2015-02-02
End date: 2015-06-01
Duration (months): 4.0
Total project cost (EUR): 71429.0
EU funding (EUR): 50000.0
Participants: 1
Project status: CLOSED

The ultimate objective of the Celletest project is to develop a next generation medical device for non-invasive diagnosis and prognosis of metastatic lung cancer, so we can validate the . To achieve this ambitious objective, we will exploit the potential of our proprietary technology for isolation of circulating tumor cells from the bloodstream, so we can validate the clinical utility of CTCs, which have been already identified as biomarkers for the liquid-biopsy of metastatic lung cancers. What is a Liquid Biopsy? Liquid biopsy is an emerging and disruptive technology in cancer diagnosis, prognosis and monitoring of evolution of cancer patients under anticancer therapies. This novel technology can be understood as the next generation non-invasive alternative to the current gold standard in cancer diagnosis, tissue biopsy. Tissue biopsy implies an interventional/surgical procedure to sample cells or tissue at the tumor site. The biopsied tissue is examined and analyzed (molecular characterization for the determination of the molecular biomarkers of cancer cells) in order to characterize the cancer cells according to their morphological and biochemical properties. This allows determining the tumor typology and prescribing the most optimal anticancer therapy. Liquid biopsy holds promise as a non-invasive method capable to obtain the same clinically relevant information with just a simple blood extraction.

Keywords: cancer,circulating tumor cells,diagnostics
EmpoweRing FundamEntal physics and Technology with quantum Optomechanics (pERFEcTO)

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: Physics
Countries involved: United Kingdom
Call: Individual Fellowships (H2020-MSCA-IF-2017, 2017)
Start date: 2018-12-01
End date: 2020-11-30
Duration (months): 24.0
Total project cost (EUR): 183454.8
EU funding (EUR): 183454.8
Participants: 1
Project status: CLOSED

The recent advancement in quantum technologies and control raises the fascinating possibility to employ them for developing a whole new generation of devices based on the laws of quantum mechanics. At the same time, such progress enables unprecedented studies on the foundation of quantum mechanics and the quantum nature of space-time. This is precisely the overreaching goal of this action, which we dub pERFEcTO, that will use the technological platform embodied by quantum optomechanics to address alternative formulations of quantum mechanics and quantum spacetime effects. Hybrid optomechanical systems and novel quantum estimation methods, which have recently attracted great interest, will be exploited due to their adaptability to the different scenarios addressed by pERFEcTO. The aim is to develop optimal estimation tools and strategies adapted to hybrid optomechanical systems in order to investigate quantum foundations and (quantum) spacetime models. Furthermore, the action will extend such a study all the way to the addressing of out-of-equilibrium thermodynamics of hybrid optomechanical systems to characterize the quantum-to-classical transition in these systems and explore their potentiality for engineering quantum thermal machines. The action envisions the collaboration with experts from academia through three secondments at leading European research institutes and is set to expand scientific, transferable and collaborative skills of the Experience Researcher. pERFEcTO embodies an innovative approach to key fundamental problems and, through an intensive training programme, significant dissemination activities, and effective knowledge transfer paves the way for the career development of a talented young researcher who has already proven a solid track record of scientific excellence.

Keywords: opto mechanics,foundations of quantum mechanics,quantum spacetime structure,quantum thermodynamics,quantum estimation theory
An effective and environmentally friendly solution to control fire blight disease caused by Erwinia amylovora in pome fruit crops (PhageFire)

Framework: Horizon 2020 — Industrial Leadership
Action type: Innovation actions
Countries involved: Spain,Spain,Switzerland,Hungary
Call: Fast Track to Innovation (FTI) (H2020-EIC-FTI-2018-2020, 2020)
Start date: 2020-08-01
End date: 2024-03-31
Duration (months): 44.0
Total project cost (EUR): 3905481.25
EU funding (EUR): 2969642.5
Participants: 4
Project status: SIGNED

The PhageFire project is devised to satisfy the unmet need for a secure and reliable solution to control fire blight (FB) disease in pome fruits caused by the bacterium Erwinia amylovora (Ea). The Spanish pome fruit producer, Peras de Rincón de Soto has partnered with Enviroinvest (Hungary) consultancy company expert in production, authorization and commercialization of phage-based pesticides, ZHAW (Switzerland) – a top research centre in phage therapy and Kimitec Group specialist in the design, development and commercialization of natural solutions for the plant protection sector. Together, PhageFire Consortium members aim to further develop an integrated phage-based solution enabling pome fruit farmers to effectively control Ea infections, reducing both production and economic losses. In addition, this will also result on reduced reliance on harmful chemicals (mainly copper-based products) and antibiotics. Based on our advanced current development of phages cocktails and their successful results on the safety and benefits of phages, our goal is to develop and commercialise PhageFire as the first-in-class phage-based biopesticide in Europe providing effective prevention and treatment against Ea infections. In order to take the project forward and reach product commercialization, a next estimated investment of €3.9 M is needed. The successful consecution of the FTI funding will help to cover the 70% (€2.97 M) while the Consortium partners will assume the 30% (€0.93 M) with own funds and the potential economic help from private investors. Considering the increasing demand for FB protection methods, PhageFire biopesticide will represent a great business opportunity (€22.12 M net profit between 2023-2027, ROI 4.66) by filling a highly profitable niche in the growing biopesticide market (CAGR 14.93%, €9.31 B by 2025). Furthermore, the scalable potential of phages will also enable targeting new horizons in plant disease protection.

Keywords: phages based cocktail,erwinia amylovora,fire blight,biological pest control,biological fight
Establishing in-depth services enhancing the innovation management capacity of South West of France SMEs in 2020-2021 (MAGIC SWF SMEs 20-21)

Framework: Horizon 2020 — Industrial Leadership
Programme: Innovation in SMEs
Action type: Specific Grant agreement
Countries involved: France,France
Call: H2020 ENTREPRISE EUROPE NETWORK SGA4 2020-2021 (H2020-EEN-SGA4-2020-2021, 2019)
Start date: 2020-01-01
End date: 2021-12-31
Duration (months): 24.0
Total project cost (EUR): 335933.75
EU funding (EUR): 335932.0
Participants: 4
Project status: CLOSED

Raising the competitiveness of SMEs from South West France by offering services linked to innovation management. The project involves 3 partners of the Enterprise Europe Network South West France consortium which covers the region Nouvelle-Aquitaine and the Midi-Pyrénées territory. The general objective is to contribute to raise the competitiveness of SMEs from this area by offering support services in the area of innovation management. The project will also contribute to develop more efficient and more effective innovation processes and higher quality innovation management capacity assessment and support services. The support will be delivered as service packages to 2 groups of SMEs: a) Beneficiaries of the Horizon 2020 SME Instrument phase 2, Fast Track to Innovation and Future Emerging Technologies Open: to enhance the probability of a successful exploitation of the innovation project results and lead to the sustainable growth of the beneficiary beyond the participation in Horizon 2020. The support service will pinpoint weaknesses in the innovation capacities of the beneficiary, select suitable coaches to address the identified weaknesses and monitor the coach-client relationship and to accompany the beneficiary through their European project. b) SMEs with significant innovation activities and a high potential for internationalisation: to enhance their innovation management capacities to be able to gain new international markets and leaderships. The support service will consist in an in-depth innovation assessment in order to develop and implement a tailored action plan to improve the SMEs capacity to manage innovation processes. The partners will use dedicated assessment tools: IMP3rove, Check’Innov, Innovation Way and CCI MAP. The project will last 24 months and will provide 109 support service packages.

Keywords: innovation management,sme instrument,sme support,funding,europe,fast track to,innovation,future emerging technologies