Data-Gouv-ML/pcri-informations-sur-les-projets-laureats huggingface dataset:
Sparsity-guided Efficient SMT-solving for Program Verification (SPES)

Framework: Horizon Europe — 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: United Kingdom
Call: ERC STARTING GRANTS (ERC-2025-STG, 2025)
Start date: 2026-02-01
End date: 2031-01-31
Duration (months): 60.0
Total project cost (EUR): 1494803.0
EU funding (EUR): 1494803.0
Participants: 1
Project status: SIGNED

Satisfiability modulo theories (SMT) is a ubiquitous framework in modern software verification. It can express a significant number of classical program verification tasks, e.g. invariant generation, reachability and pre/post-conditions, in complex programs with arrays, pointers, real/integer variables, and user-defined data structures. State-of-the-art SMT solvers, such as cvc5/Z3, form the backbone of modern verification suites. Unfortunately, SMT-based verification methods are far from perfect in terms of scalability. They are especially slow when the desired property depends on a large portion of the program, such as a function with hundreds/thousands of lines. A primary reason is that solvers are designed for *general-purpose* constraint-solving. When a program analysis tool, such as Boogie, reduces a verification task to SMT and passes it to a solver, such as Z3, the solver has no knowledge of the original program or any of its structural and sparsity properties that are inherited by the SMT instance. Thus, it spends significant time exploring unpromising solution paths or applying unproductive heuristics. In this project, we will exploit the structural sparsity of programs to design faster bespoke SMT-solving algorithms for software verification tasks. It is well-known that control-flow graphs of structured programs are sparse and decomposable. Formally, they have bounded treewidth/pathwidth. Thus, one can successively find small cuts that decompose the graphs into parts of a small size. The idea is to guide the SMT-solver with a promising approximation or decision order based on these decompositions. This is because the SMT instance inherits the sparsity and structure of the underlying program. Thus, it can be decomposed into small parts by successively solving low-dimensional sub-instances. More specifically, this project will use the decomposition to design faster algorithms for satisfiability checking and (approximate) quantifier/variable elimination.

Keywords: program verification,graph theory,graph sparsity parameters,automated reasoning
Machine Intelligence based Radio Access Infrastructure (6G-MIRAI)

Framework: Horizon Europe — Global Challenges and European Industrial Competitiveness
Programme: Digital, Industry and Space
Theme: Public-private partnerships
Destination: Smart Networks and Services
Action type: Research and Innovation actions
Partnership: SNS (JU-JTI)
Countries involved: France,Germany,Spain,Poland,Belgium,Italy
Call: International Collaboration – EU-JP (HORIZON-JU-SNS-2024, 2024)
Start date: 2025-04-01
End date: 2028-03-31
Duration (months): 36.0
Total project cost (EUR): 3188935.0
EU funding (EUR): 2979966.5
Participants: 9
Project status: SIGNED

6G-Machine Intelligence based Radio Access Infrastructure (6G-MIRAI) aims at developing reliable and robust AI-native wireless communication systems that enable the practical exploitation of the full potential of the latest physical layer technological advances, especially cell-free massive MIMO, and of next-generation virtualized and potentially disaggregated radio access networks (RANs). To achieve this goal, 6G-MIRAI will rely on extensive know-how from established industry players and academic partners from both the EU and Japan. The overall goal of 6G-MIRAI is deconstructed into four main objectives: (O1) Reliable and robust AI-ML techniques for future wireless communications; (O2) Practical AI-native design of next-generation radio access networks; (O3) Common EU-JP platform for data, benchmarking, and validation; and (O4) Aligned EU-JP strategy on future standardization efforts. These objectives align with the EU HORIZON-JU-SNS-2024-STREAM-B-01-05 call requirements, focusing on the evolution of Radio Access Networks (RAN) for 6G to pave the way for future advancements towards AI-native radio access networks. All four objectives will contribute to aligning views on the radio interface and RAN concepts between the EU and Japan, and between main industry and academic institutions in the EU. 6G-MIRAI objectives will be achieved through five interconnected research and technology items: (RTI1) Realistic channel and hardware models to enable the AI-native air interface; (RTI2) Practical AI-based physical layer designs; (RTI3) Scalable AI-based network coordination; (RTI4) Evolved AI-ready architecture designs; and (RTI5) AI-oriented data management, testing, and proof-of-concept. These RTIs will enrich the technological portfolio of all involved partners and the 6G ecosystem, since they will have a direct impact on standardization, IP generation, and scientific publications.

Keywords: 6g,ai,ai native,ran,mimo,cell free,physical layer,air interface,network architecture and design,standardization,open source,data management,eu,japan
DELYCIOUS: Diagnostic tools for ELectrolYsers: Cost-efficient, Innovative, Open, Universal and Safe (DELYCIOUS)

Framework: Horizon Europe — Global Challenges and European Industrial Competitiveness
Programme: Climate, Energy and Mobility
Theme: Public-private partnerships
Destination: Clean Hydrogen
Action type: Research and Innovation actions
Partnership: CLEANH2 (JU-JTI)
Countries involved: Germany,Netherlands,France,Italy,Estonia
Call: Development and implementation of online monitoring and diagnostic tools for electrolysers (HORIZON-JTI-CLEANH2-2024, 2024)
Start date: 2025-01-01
End date: 2027-12-31
Duration (months): 36.0
Total project cost (EUR): 5053646.77
EU funding (EUR): 3995403.18
Participants: 8
Project status: SIGNED

The Net Zero Industry Act reckons the production of low-carbon hydrogen (H2) to be a strategic industry. Water electrolysis using renewable energy sources (RES) is a promising way to produce low-carbon H2. To allow the large-scale deployment of electrolysis technologies, monitoring the status of health of the electrolyser to opt for optimal operating conditions for the extension of their lifetime under fluctuating RES, and thus the reduction of the cost of ownership, is still a challenge. The DELYCIOUS project will develop monitoring and diagnostic tools for electrolysers that are cost-efficient, innovative, open, universal, and safe, leveraging: - A unique combination of techniques to probe chemical and electrochemical properties (Raman and Electrochemical Impedance spectroscopies) and modelling approaches (physical and data-driven modelling) to access degradation parameters. - An interoperability prerogative thanks to validation of the functionality and resilience of DELYCIOUS on low and high temperature domains of technologies using three electrolysis technologies (AEL, PEMEL, SOEL). - A strong European consortium combining expertise in the development of hardware sensors (Horiba, SIVONIC) and algorithms (Air Liquide, UT), and their eventual integration into the Electrolyser Management System software platform (Dumarey). The hardware and algorithms will be validated on a laboratory scale during test campaigns of AEL (Stargate), SOEL (UT), and PEMEL (Air Liquide). Since AEL electrolysers will play a major role in large-scale low-carbon H2 production plants, we will provide a TRL6 demonstration of diagnostic and monitoring tools for AEL >100kW (Fraunhofer IWES). A techno-economic analysis is carried out to outline a commercialisation and exploitation roadmap, in line with the needs and expertise of our consortium and advisory board partners. It is expected that 5.9GW of water electrolysers capacity installed in EU by 2035 will be using our technology.

Keywords: alkaline electrolyser,electrochemical impedance spectroscopy,raman spectroscopy,electrolyser management system,hybrid diagnostic approach,hidden state estimation
Development of new high-entropy oxide catalysts by the anodic oxidation of high-entropy alloys (HEO4CAT)

Framework: Horizon Europe — Widening Participation and Strengthening the European Research Area
Programme: Widening participation and spreading excellence
Theme: Attracting and mobilising the best talents
Destination: Attracting and mobilising the best talents
Action type: Marie Skłodowska-Curie actions
Panel: Chemistry
Countries involved: Slovenia
Call: Fostering balanced brain circulation – ERA Fellowships (HORIZON-WIDERA-2022-TALENTS-02, 2022)
Start date: 2022-10-01
End date: 2025-09-30
Duration (months): 36.0
Total project cost (EUR): 172763.98
EU funding (EUR): 172763.98
Participants: 1
Project status: SIGNED

High-entropy oxides (HEOs) are a new category of materials constituted of five or more elements that are randomly distributed in a single phase. Such materials can have better properties than conventional oxides, related to the lattice distortion and synergistic effects of the component. Due to this lattice distortion and the uneven electron-cloud distribution between the metals and the oxygen, HEOs can impact on different catalytic reactions, such as CO2 reduction, H2S removal and the degradation of pollutants. However, HEO testing and application in catalysis is an undeveloped field. The conventional photocatalysts, such as TiO2, are mainly used in slurry conditions (demanding a post-filtration step) and present a low quantum efficiency and low activity under visible light. Doping or co-doping of conventional catalysts can promote changes in the crystalline structure and improve the photocatalytic activity. Thus, the use of new, multi-element materials such as HEOs appears to be an excellent, innovative alternative to overcome these drawbacks. HEOs can be synthesised by the anodic oxidation of high-entropy alloys (HEAs), creating strongly attached nanostructures that do not need a filtration step, and with enhanced photocatalysts properties. Using this strategy, our ambition is to develop a new and highly efficient photocatalyst, which will contribute to a major step forward in catalysis. The produced materials will be fully characterised and the photocatalytic efficiency will be evaluated over the degradation of new pollutants present in water such as pharmaceuticals, pesticides, hormones, microplastics, etc. and compared with conventional/commercial photocatalysts.

Keywords: high entropy materials,anodization,nanotubes,nanostructures,photocatalysts
Dissecting the context-specificity of genetic immune regulation in plasmacytoid dendritic cells (ImmGenDC)

Framework: Horizon Europe — Excellent Science
Programme: European Research Council (ERC)
Theme: European research council
Destination: Starting grants
Action type: ERC actions
Panel: Integrative B iology : from Genes and Genomes to S ystems
Panel description: For all organis ms: Genetics, epigenetics, genomics  and other ‘omics studies , bioinformatics, systems biology , genetic diseases , gene editing, innovative methods and modelling,  ‘omics for personalised  medicine
Countries involved: Germany
Call: ERC STARTING GRANTS (ERC-2022-STG, 2022)
Start date: 2023-10-01
End date: 2028-09-30
Duration (months): 60.0
Total project cost (EUR): 1499235.0
EU funding (EUR): 1499235.0
Participants: 3
Project status: SIGNED

Antiviral immunity and autoimmune diseases exhibit high interindividual variability. Despite intensive research, the genetic and molecular basis of this variability is incompletely understood. A key player of the immune system is the plasmacytoid dendritic cell(pDC). Recent single-cell work revealed functionally distinct pDC subsets. Considering that pDCs respond to many pathogens, this highlights a previously underappreciated functional diversity of pDCs. I hypothesize that the genetic regulation of pDCs plays a fundamental role in explaining antiviral response and autoimmune variability. Based on my previous work on immune cells, this genetic regulation is expected to be highly context-specific depending on cell type, cell response, ancestry populations and sex among other factors. The overarching goal of this proposal is to elucidate the context-specificity of immune response and its genetic regulation in pDCs to improve our understanding of human antiviral response variation and pinpoint undiscovered disease pathways of autoimmune diseases. To this end, I will generate population-scale, linked scATAC-, sc3’RNA- and scLong-read cDNA-seq data of baseline and TLR7-stimulated pDCs from healthy individuals across three ancestry populations. I will identify novel pDC subtypes and their immune-regulatory circuits by integrated multiome analyses. Molecular quantitative trait loci(QTLs) and their degree of context-specificity will be used to build prediction models of genetically determined immune responsiveness and decode autoimmune disease loci to develop mechanistically anchored interventions for precision medicine. ImmGenDC will gain fundamental insights into the variability of antiviral immune response that will enable the development of new treatments as exemplified by the current pandemic. Importantly, ImmGenDC will also identify genetic determinants of immune variability across diverse ancestry populations thus paving the way for equitable access to medicine.

Keywords: eqtl,human immune system,innate immunity,plasmacytoid dendritic cells,interferon,antiviral immunity,autoimmune diseases,human genetics,immunogenetics,functional genomics,population genetics,gwas,multi omics,precision medicine
High-Speed Organic Photonics and OptoElecronics (HiSOPE)

Framework: Horizon Europe — Innovative Europe
Programme: The European Innovation Council (EIC)
Theme: EIC Pathfinder
Destination: Challenges
Action type: EIC actions
Countries involved: France,United Kingdom,Netherlands,Lithuania
Call: EIC Pathfinder Challenge: Responsible Electronics (HORIZON-EIC-2023-PATHFINDERCHALLENGES-01, 2023)
Start date: 2024-11-01
End date: 2028-10-31
Duration (months): 48.0
Total project cost (EUR): 3066939.75
EU funding (EUR): 3066939.0
Participants: 7
Project status: SIGNED

HiSOPE addresses the fundamental scientific and technological challenges for the decarbonization of the digital society by focusing on novel fast and broadband organic optoelectronic materials, devices and systems, allowing high added-value applications such as optical data transmission and wireless optical communication. More precisely, HiSOPE aims to develop organic semiconductor (OSC) materials and fabricate different organic devices like High-Speed Organic Light Emitting Diodes, High-Speed Organic PhotoDetectors and electrically driven Short Pulse Organic Lasers, and integrate these into lab-scale waveguided and wireless data transmission demonstrators. HiSOPE is fully in line with the European Semiconductor Chips Act and European industrial autonomy endeavors because it chooses to provide OSC based solutions for high-speed optoelectronics and photonics instead of often toxic and critical material dependent III-V semiconductors. This will help to diversify and strengthen the European digital and optical telecommunication industrial ecosystem through the emergence of new industrial actors. HiSOPE tackles the issues of responsible and sustainable electronics head on, by following 4 Paths to Sustainability: 1- The avoidance of toxic and critical raw materials such as III-V semiconductors, 2- The reduction of carbon and embedded carbon footprint, 3- Device and system design that takes recycling into account from the outset, 4- The mass reduction of materials, substrates and encapsulation. Also, HiSOPE has a clear vision of a road to industrialization that includes several well-identified market alternatives for organic optoelectronics and photonics. To maximise the chances of reaching the industrial stage for this project, several markets and use cases are proposed. In the work package "Lab-scale Proof of Concept, Dissemination and Exploitation" we will identify the ones most likely to succeed commercially and take steps to maximise impact from the project.

Keywords: organic electronics optoelectronics wireless communication high speed oled organic laser diode high speed organic photodetector responsible electronics
Overcoming Digital Divide in Europe and Southeast Asia (ODDEA)

Framework: Horizon Europe — Excellent Science
Programme: Marie Skłodowska-Curie Actions (MSCA)
Theme: Marie Skłodowska-Curie
Destination: Staff Exchanges
Action type: Marie Skłodowska-Curie actions
Panel: Economic Sciences
Countries involved: Slovakia,Poland,Montenegro,Hungary,Malaysia,Thailand,Indonesia
Call: MSCA Staff Exchanges 2021 (HORIZON-MSCA-2021-SE-01, 2021)
Start date: 2022-12-01
End date: 2026-11-30
Duration (months): 48.0
Total project cost (EUR): 1352400.0
EU funding (EUR): 1352400.0
Participants: 9
Project status: SIGNED

Digitalization has been in the epicenter of interest during the hard times of COVID-19 and has enabled governments and individuals to cope with the scientific and socio-economic problems created by the pandemic. Both, basic and advanced digital technologies, as well as digital skills have been engaged to sustain the functioning of the economy and society by allowing the work to continue, tracking the spread of the virus, and accelerating research for medications and vaccines. COVID-19 pandemic has shown, more than anything else, the utmost importance of digital assets and the need for further development towards a resilient digital transformation. Strengthening the digital economy and society has been one of the 6 strategic priorities of the 2021 European Commission work programme with a goal of making this Europe’s digital decade. Digitalization is the relevant issue in EU associated countries as well. Digital transformation might help EU associated countries to speed up convergence project and catch up developed EU economies. Even particularly topical problem is digitalization in developing countries. The digital transformation and its support would lead to higher economic growth and, sustainable development and the increasing of the quality of life. The proposed project is as timely as ever considering the current situation of digitalization in the EU, EU associated countries (Montenegro) and developing countries in Southeast Asia region (Indonesia, Malaysia, and Thailand). The focus of the project is the cooperation of the academic staff and doctoral students to engage in the research in the field of digitalization, exchange their knowledge, ideas, and provide meaningful outputs and establish research collaboration in the field of digitalization.

Keywords: digitalization,south east asia,digital transformation,digital gap
Nanoplatforms for Neuroscience (NeuroNanotech)

Framework: Horizon Europe — Excellent Science
Programme: Marie Skłodowska-Curie Actions (MSCA)
Theme: Marie Skłodowska-Curie
Destination: Doctoral Networks
Action type: Marie Skłodowska-Curie actions
Panel: Physics
Countries involved: Spain,France,Israel,Belgium,Italy,Netherlands,Ireland,Austria,Norway
Call: MSCA Doctoral Networks 2023 (HORIZON-MSCA-2023-DN-01, 2023)
Start date: 2025-01-01
End date: 2028-12-31
Duration (months): 48.0
Total project cost (EUR): 3040172.22
EU funding (EUR): 2927620.79
Participants: 26
Project status: SIGNED

NeuroNanotech will train eleven researchers to tackle one of the major challenges in Europe’s ageing population - neurological diseases. The ability to monitor and modulate neural activity using interfaces has enabled a better understanding of brain function and has led to therapeutic solutions for some neurological disorders. Yet, fundamental technological challenges, such as ensuring proper brain tissue interfacing and reliable long-term recording/stimulation after implantation, impede widespread clinical use. New approaches to provide effective treatments are urgently needed. NeuroNanotech will develop novel nanostructured flexible neural interfaces with highly improved tissue integration, minimizing foreign-body reactions and tissue scarring and allowing stable stimulation treatments. As main innovation, we will develop minimally invasive, ultra-sensitive spintronic magnetic sensors able to record stably without interfering with stimulation signals and avoiding electrode degradation. Connecting both interfaces, we will construct a low-invasive, closed-loop neurostimulation system that integrates feedback signals from the neural activity and provides real-time stimulation of the target structures according to the patient´s needs. To achieve these goals, NeuroNanotech brings together experts in nanotechnology, device engineering, neuroscience and clinical neurology. The individual research projects are highly interconnected, ensuring interdisciplinary training. Researchers will benefit from training in advanced research and relevant complementary skills, imparted by an international and intersectoral consortium of research institutes, universities, companies, hospitals and social organisations from 9 different countries. We will provide researchers a unique environment focused on innovation and collaboration, with a view to commercial applications of the research results. This framework will open researchers avenues in both academia and health-related industry.

Keywords: nanomedicine,neural interfaces,regenerative medicine,low field magnetoresistance sensors,neural stem cell differentiation,neurostimulation
Understanding the causal impact of firm innovation on efficiency, product prices and markups, the underlying mechanisms, of firm innovation and aggregate implications. (INOV)

Framework: Horizon Europe — Excellent Science
Programme: Marie Skłodowska-Curie Actions (MSCA)
Theme: Marie Skłodowska-Curie
Destination: Postdoctoral Fellowships
Action type: Marie Skłodowska-Curie actions
Panel: Economic Sciences
Countries involved: United Kingdom
Call: MSCA Postdoctoral Fellowships 2024 (HORIZON-MSCA-2024-PF-01, 2024)
Start date: 2025-09-15
End date: 2026-09-14
Duration (months): 12.0
Total project cost (EUR): 130173.96
EU funding (EUR): 130173.96
Participants: 1
Project status: SIGNED

The Inov project aims to estimate the causal impact of firm innovation on productivity (revenue and technical efficiency), output prices, and markups using state-of-the-art microeconomic techniques. The project also aims to understand the economic mechanisms behind this relation and discuss, to what extent they could benefit firms and consumers. At last, we test if there are aggregate implications arising from innovation outcomes related to its role in changing the allocation of resources in the economy. Important contributions and novelty of this project are to show the causal impact of firm innovation while taking into account the riskiness of R&D, identify the impact on output prices, product market concentration, markups, and firm efficiency of successful innovation. In addition, it explains these findings by exploring a set of economic mechanisms such as: i) the role of product reallocation, ii) the persistency of innovation, iii) complementary hypothesis across innovation types, and iv) the role of international trade (exports and imports). At last, it shows that innovation might have implications for the aggregate economy in terms of generating misallocation.

Keywords: research and development expenditures,innovation,firm,products,prices,efficiency,markups