Data-Gouv-ML/pcri-informations-sur-les-projets-laureats huggingface dataset:
CYclic DErivations for Recursive operators (CYDER)

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: Information Science and Engineering
Countries involved: Netherlands
Call: MSCA Postdoctoral Fellowships 2021 (HORIZON-MSCA-2021-PF-01, 2021)
Start date: 2022-09-01
End date: 2024-08-31
Duration (months): 24.0
Total project cost (EUR): 203464.32
EU funding (EUR): 203464.32
Participants: 1
Project status: CLOSED

Modal fixpoint logics, which express recursive notions, find several fundamental applications in computer science. As a key example, in formal verification recursively defined notions are needed to reason about iterations of programs. A second prominent example comes from knowledge representation, where common knowledge of groups of agents is formalised through recursion. Much as in basic modal logics, the semantics of modal fixpoint logics can be enriched with additional properties, called frame conditions, to capture specific attitudes. Frame conditions give rise to rich and expressive families of modal fixpoint logics. Proof theory is the discipline that studies proof systems, which are sets of axioms and rules used to check validity of a formula. Proof systems play a central role in the analysis of logical systems. Despite their wide range of applications, the proof theory of modal fixpoint logics is currently underdeveloped. More specifically, the proof theory of modal fixpoint logics with frame conditions is much less advanced than the proof theory of modal or intuitionistic logics. The key objective of CYDER is to define proof systems for modal fixpoint logics with frame conditions, providing a general proof-theoretical framework for these logics. Towards this challenging aim, CYDER will define two new kinds of proof systems: labelled and nested cyclic proofs. CYDER proof-theoretical methodology is inspired by labelled and nested sequents, which capture modal logics with frame conditions, and cyclic proofs, which are a powerful formalism to treat recursion. The project will define cyclic proof systems for several systems of modal fixpoint logics: epistemic logics with common knowledge, the alternation-free modal mu-calculus with frame conditions, intuitionistic modal logics with recursive modalities and dynamic epistemic logics.

Keywords: proof theory,modal fixpoint logics,cyclic proofs
Valorising and balancing the ecosystem service benefits offered by legumes, and legume-based cropped systems (LegumES)

Framework: Horizon Europe — Global Challenges and European Industrial Competitiveness
Programme: Food, Bioeconomy Natural Resources, Agriculture and Environment
Theme: Bio-Environment
Destination: Biodiversity and Ecosystem Services
Action type: Research and Innovation actions
Countries involved: Portugal,Hungary,Slovenia,Germany,Spain,North Macedonia,Belgium,Switzerland,France,United Kingdom,Denmark,Italy
Call: Valorisation of ecosystem services provided by legume crops (HORIZON-CL6-2023-BIODIV-01, 2023)
Start date: 2024-01-01
End date: 2027-12-31
Duration (months): 48.0
Total project cost (EUR): 4619172.5
EU funding (EUR): 4619172.5
Participants: 22
Project status: SIGNED

The legumES will ensure: 1, the uptake of best practices in agrobiodiverse legume-based cropped systems; 2, the uptake of methodologies and tools to quantify and balance the environmental and economic ecosystem service (ES) benefits provided by legumes; 3, that the ES benefits and cost offered by legumes are quantified across scales from field, farm, regional, national, and global levels; and 4, ES will be assessed to identify those conditions which are able to meet the EU targets: to decrease agrichemical inputs and losses, combat climate change, reverse biodiversity loss, and ensure the best nutritional provisioning. To achieve this, legumES offers a multi-disciplinary consortium comprising 22 partners from 12 EU- and third countries (UK, CH) and including: 7, academic institutions; 6, Research and Technology Organizations; 5, SMEs (or micro-SMEs); 2, non-governmental organisations; and 2, large commercial companies. The individuals comprising legumES offer skills which include: agricultural-crop and -environment (ES) monitoring, life cycle assessment, economic- and socioeconomic-modelling, social-science, EU-agricultural and environmental policy, and law, plus decision support systems. The legumES research and innovation strategy centres on the use of a multiactor action-research approach, that is, where legume-facing stakeholders, and especially producers though all value chains actors, can ‘operate’, ‘collaborate’ and, reflect critically’ on the measured ES benefits and costs of legume-based cropped systems, including legumes use in marginal lands; so that an optimal balance of ES can be achieved with success locally, and globally. To help achieve this LegumES also centres activities on a suite of 25 innovative legume-based Pilot Studies which use a wide range of legume species and types, plus different cropping approaches and linked value chains spanning the pedoclimatic regions of Europe.

Keywords: legumes ecosystem services life cycle assessment economics crop diversification
Secure Interactive Environments for SensiTive data Analytics (SIESTA)

Framework: Horizon Europe — Excellent Science
Programme: Research infrastructures
Theme: Research infrastructures
Destination: EOSC ecosystem
Action type: Research and Innovation actions
Partnership: EOSC (co-programmed)
Countries involved: Spain,Slovakia,France,Netherlands,Italy,Sweden,Denmark
Call: Trusted environments for sensitive data management in EOSC (HORIZON-INFRA-2023-EOSC-01, 2023)
Start date: 2024-01-01
End date: 2026-12-31
Duration (months): 36.0
Total project cost (EUR): 5375675.87
EU funding (EUR): 4999999.55
Participants: 14
Project status: SIGNED

The FAIR principles provide a framework for enabling proper access and reusability of scientific data, and implementing them is a key goal of the European Open Science Cloud (EOSC). However, providing access to sensitive or confidential data while preserving privacy/confidentiality and usability for researchers is still an open question. Existing solutions like safe rooms, safe pods, or data safe havens are often challenging for the development of reproducible research and seem counter-intuitive when dealing with open science and FAIR principles. The SIESTA project aims to provide a set of tools, services, and methodologies for the effective sharing of sensitive data in the EOSC, following a cloud-based model and approach. SIESTA will provide user-friendly tools with the aim of fostering the uptake of sensitive data sharing and processing in the EOSC. The project will deliver trusted cloud-based environments for the management and sharing of sensitive data that are built in a reproducible way, together with a set of services and tools to ease the secure sharing of sensitive data in the EOSC through state-of-the-art anonymization techniques. The overall objective is to enhance the EOSC Exchange services by delivering a set of cloud-based trusted environments for the analysis of sensitive data in the EOSC demonstrating the feasibility of the FAIR principles over them.

Keywords: cloud computing,safe cloud,reproducible analysis,trusted environments,senstive data,data anonymization,epidemiology,energy,demographics,cybercrime
Green Ammonia and Biomethanol fuel MAritime Vessels (GAMMA)

Framework: Horizon Europe — Global Challenges and European Industrial Competitiveness
Programme: Climate, Energy and Mobility
Theme: Mobility
Destination: Clean and competitive solutions for all transport modes
Action type: Innovation actions
Partnership: ZEWT (co-programmed)
Countries involved: Iceland,Italy,Germany,Netherlands,Denmark,Norway,France,Türkiye,Portugal
Call: Demonstrations to accelerate the switch to safe use of new sustainable climate neutral fuels in waterborne transport (ZEWT Partnership) (HORIZON-CL5-2023-D5-01, 2023)
Start date: 2024-01-01
End date: 2028-12-31
Duration (months): 60.0
Total project cost (EUR): 16792267.68
EU funding (EUR): 12986214.88
Participants: 18
Project status: SIGNED

GAMMA features 16 of the most important innovators and disruptors in the maritime sector. GAMMA partners will design, test and validate the very best energy conversion technologies and integrate them on an ocean-going vessel on international sea / ocean routes. The main goal of GAMMA is to support commercial vessels in their energy transition by demonstrating the safe integration of fuels (biomethanol and NH3), and fuel systems (biomethanol reformer, NH3 cracker and 1MW low-temperature PEM fuel cell) to provide an Ultramax bulk carrier with substantial emissions savings by performing steam reforming and ammonia cracking instead of combusting Very Low Sulfur Fuel Oil (through the replacement of auxiliary engines, which will stay as a back-up). Among the objectives of the project, GAMMA will (1) successfully retrofit the vessel, (2) show that ship operations can be handled in a safe manner and (3) test the availability of the sustainable fuel value chain for maritime vessels.

Keywords: maritime engineering sustainable shipping sustainable fuels climate neutral fuels green ammonia biomethanol
European Women and Religious Dissent: The Advent of Modernity and the Democratic Public Sphere (EuWoRD)

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: Social Sciences and Humanities
Countries involved: Ireland
Call: MSCA Postdoctoral Fellowships 2021 (HORIZON-MSCA-2021-PF-01, 2021)
Start date: 2022-07-01
End date: 2024-08-31
Duration (months): 26.0
Total project cost (EUR): 199694.4
EU funding (EUR): 199694.4
Participants: 1
Project status: CLOSED

At a time when fundamentalisms and populisms threaten basic human rights, it is extremely important to investigate the roots of European values such as egalitarianism and democracy, in order to contribute to popular and scholarly debates on these subjects in an informed way. Addressing the historical relationship between religion and ideas of modernity, the EuWoRD project aims to provide a better understanding of laypersons’ contribution (women and men) to the development of the Enlightenment, when democratic concepts gradually emerged as basic rights. It addresses particularly the history of a religious minority in seventeenth-century Europe, the Dutch Collegiant movement, and pursues a specific goal: to reveal how the practice of enlightened concepts and the participation of women in free-discussion meetings co-created the development of enlightened values. The theory did not cause the practice: both were mutually implicated in development. To pursue this goal, the EuWoRD project blends the methodologies of social history, gender history, history of ideas and political philosophy, and has two objectives: 1) an updated account of the Collegiants’ practices, the presence of women among their ranks, and their European network, regarding their meetings as interconfessional free associations that fostered the birth of an early public sphere; 2) an examination of the interrelations between the Collegiants’ practices and the concepts they advocated, focusing on their debates on gender equality and women’s right to free speech, and revealing how these debates were related to similar ones throughout Europe. Due to its originality and interdisciplinarity, the EuWoRD project will have a major impact on several fields of study, as well as on the general public. Indeed, research outcomes will be disseminated through academic (e.g., a digital map of the Collegiants’ network and two scholarly articles) and public (e.g., a Twitter account and blog entries) activities.

Keywords: early modern women religious dissent gender equality religion and modernisation radical reformation enlightenment freedom of speech practices of free expression democracy
Uncertainty Prediction & Bias Elimination in Aviation Technology for Safety (UPBEAT)

Framework: Horizon Europe — Global Challenges and European Industrial Competitiveness
Programme: Climate, Energy and Mobility
Theme: Mobility
Destination: Safe, Resilient Transport and Smart Mobility services for passengers and goods
Action type: Research and Innovation actions
Countries involved: Norway,France,Sweden
Call: Aviation safety - Uncertainty quantification for safety and risk management (HORIZON-CL5-2023-D6-01, 2023)
Start date: 2024-05-01
End date: 2027-10-31
Duration (months): 42.0
Total project cost (EUR): 3999893.25
EU funding (EUR): 3999893.25
Participants: 7
Project status: SIGNED

Understanding and quantifying uncertainties (UQ) in aviation structures is vital to assessing risk and safety. UPBEAT will create novel UQ methods and tools to support the production of safer and more innovative aircraft structures and engines while reducing uncertainties in product and engineering lifecycles. The project focuses on metal-composite hybrid aerospace engine parts that are lighter, more durable and cheaper. Innovative design solutions for hybrid interfaces can be achieved using metal additive manufacturing (AM) bonded with carbon fiber reinforced polymers (CFRP). Advanced models of materials and processes will be developed using sophisticated in-situ and ex-situ monitoring and metrology. In aviation engines, the outlet guide vane (OGV) is an essential component that helps de-swirl the flow field from the fan. The OGV's stiffness is crucial as it influences the engine's performance and includes a major load path from its core to the wing. The OGV with two types of CFRP vanes and titanium end fittings will be used as a demonstrator. By combining AM with advanced in-situ melt pool monitoring and characterization (micro-CT & nanoindentation), digital models will be used to optimize design and manufacturing processes and increase awareness on efficiency, safety and risk. This will result in 20-40% weight reduction and 50-70% fewer defects. Streamlined product development reduces qualification time by 30-40% and costs by 25-35%. In-line quality assurance support lowers manufacturing costs by 30-50% and time by 20-30%. UPBEAT will: ✔ Increase understanding of the process, structure, property, & performance with safety focus ✔ Advance process models (AM, CFRP) for planning & optimization ✔ Develop verification and validation using multi-scale models ✔ Integrate UQ in design, materials, manufacturing, qualification, & certification ✔ Demonstration of UPBEAT technologies using a complex aviation use case

Keywords: uncertainty quantification,aerospace,carbon fiber reinforced polymers,additive manufacturing,hybrid interface,aircraft structures,outlet guide vane
Towards the next generatiOn of excellent yoUng doctoral researchers on mental health by developing an intersectoral & transdisciplinary approaCH (TOUCH)

Framework: Horizon Europe — Excellent Science
Programme: Marie Skłodowska-Curie Actions (MSCA)
Theme: Marie Skłodowska-Curie
Destination: Co-funding of regional, national and international programmes
Action type: Marie Skłodowska-Curie actions
Countries involved: Spain,Belgium,Switzerland,United Kingdom,United States,Germany,Austria,Denmark
Call: MSCA COFUND 2022 (HORIZON-MSCA-2022-COFUND-01, 2022)
Start date: 2024-02-01
End date: 2029-01-31
Duration (months): 60.0
Total project cost (EUR): 2419200.0
EU funding (EUR): 2419200.0
Participants: 27
Project status: SIGNED

TOUCH (“Towards the next generatiOn of excellent yoUng doctoral researchers on mental health by developing an intersectoral & transdisciplinary approaCH”) is a new excellent doctoral programme led by the Universitat Autònoma de Barcelona (UAB) for the recruitment and training of 24 doctoral candidates under four major thematic areas in mental health & wellbeing research, while fulfilling all the principles of Open Science and maintaining the highest research quality standards. The doctoral programme also counts with the participation of 7 reference organisations as Implementing partners hosting doctoral fellows (research centres, research foundations and research organisations linked to prestigious hospitals from the area). The programme represents a steppingstone towards the implementation of a long-term collaborative agreement in the frame of the CORE partnership on Mental Health, one of the “Communities Oriented to Strategic Challenges”. The project will act as a key tool to articulate the neccesary capacities from the UAB sphere to carry out successful research projects in complex and strategic fields through a collaborative, multidisciplinary and innovative approach. TOUCH doctoral programme include 60+ options to carry out research projects with prestigious supervisors and the availability of world-class research infrastructures. An excellent training programme including practical hands-on-schools, training on research diversity and scientific & communication skills and a retreat for personal development among others, will provide a holistic approach to the training of fellows through a combination of research-oriented and demanding soft skills. In addition, the international & intersectoral aspects of the programme are boosted by the collaboration with several Associated partner organisations, including Universities, private companies, social enterprises & associations, research centres, clusters, foundations & federations for mental health.

Keywords: mental health,wellbeing,ehealth,community health,biopsychosocial
Enhancing Nitrogen-Fixing Symbiosis in Crops using Rhizobia Bacterial Effectors (SYM-EFFECT)

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: Life Sciences
Countries involved: Spain
Call: MSCA Postdoctoral Fellowships 2023 (HORIZON-MSCA-2023-PF-01, 2023)
Start date: 2025-01-01
End date: 2026-12-31
Duration (months): 24.0
Total project cost (EUR): 181152.96
EU funding (EUR): 181152.96
Participants: 1
Project status: SIGNED

Nitrogen (N) is vital for plants. However, its poor availability in soils has led to the widespread use of N fertilizers resulting in environmental problems like greenhouse gas emissions and water pollution. Legumes offer a sustainable alternative to N fertilizers by forming symbiotic relationships with N-fixing bacteria, known as rhizobia. Many rhizobia possess a Type III Secretion System (T3SS), to deliver effector proteins into host plants to facilitate colonization and N-fixing symbiosis. Some T3SS effectors activate host plant symbiotic signaling, while others suppress plant defense responses. Furthermore, plant genotypes with specific Resistance (R) Proteins can detect rhizobial effectors, triggering immunity, and limiting colonization. Although T3SS effector-dependent nodulation holds potential for enhancing N-fixing interactions in agricultural settings, research remains limited. Nodulation outer protein I (NopI) from rhizobia Sinorhizobium fredii HH103 enhances symbiosis in commercial soybean. However, there are gaps in our knowledge regarding NopI function, interactions with plant targets, and recognition by R proteins. In this MSCA fellowship, I will address these gaps using interdisciplinary approaches: Genome-wide association Studies, interactomics, and NopI structural determination. In addition, I will explore the custom engineering of rhizobial T3SS effectors for modifying symbiosis, an innovative and timely strategy for improving host-rhizobia compatibility. The host lab will provide a unique opportunity for me to expand my knowledge into the “bacterial side” of the legume-rhizobia interaction while sharing my expertise in the “plant side”. I will have valuable networking opportunities and cutting-edge training in protein biochemistry and structural analysis, providing me with an interdisciplinary skills base to lead my own future research group focused on plant-symbiotic interactions and their practical applications in crop improvement.

Keywords: nitrogen fixing rhizobia,soybean,symbiosis,type iii secretion system,bacterial effectors,plant defence
Enhanced preventive antiparasitic treatment for better health of African pregnants and their babies (TreatPreg)

Framework: Horizon Europe — Global Challenges and European Industrial Competitiveness
Programme: Health
Theme: Public-private partnerships
Destination: Global Health EDCTP3
Action type: Research and Innovation actions
Partnership: EDCTP3 (JU-JTI)
Countries involved: Germany,Spain,Gabon,Congo,Benin,Ghana
Call: Accelerating development and integration of therapeutics against Neglected Tropical Diseases (NTDs) in sub-Saharan Africa (HORIZON-JU-GH-EDCTP3-2024-01-two-stage, 2024)
Start date: 2025-06-01
End date: 2030-05-31
Duration (months): 60.0
Total project cost (EUR): 4783240.0
EU funding (EUR): 4783193.75
Participants: 7
Project status: SIGNED

Pregnant women in Africa are exposed to considerable health risks, with parasitic infections being a major threat. Schistosomes, soil-transmitted helminths, and malaria parasites are highly prevalent and polyparasite infections are common. In pregnancy, besides iron deficiency parasites are a key factor causing anaemia associated with an increased risk of maternal and infant morbidity and mortality. More than 50% of the pregnant women are affected by anaemia and an estimated 0.8 million pregnant women globally have severe anaemia. Antenatal care is a health program to regularly deliver health services including preventive measures with the aim of improving maternal and newborn health. In terms of fighting parasitic diseases, WHO recommends to preventively treat soil-transmitted helminths, schistosomes and malaria parasites. In many endemic sub-Saharan African countries, however, these recommendations are often only partially implemented and not consistently applied in daily antenatal care. Reasons are multifactorial but hesitation in administering multiple drugs this vulnerable population and the complexity of integrating the use of multiple drugs into the antenatal care schedule. On the other hand, data is accumulating that outweighs the potential risk of antiparasitic drug intake versus health benefits. The project aims to increase the uptake and integration of presumptive antiparasitic treatment during pregnancy to combat anaemia and improve health outcomes for pregnant women and their babies in sub-Saharan Africa. To this end, a multi-country trial will assess the safety, tolerability and efficacy of co-administered antiparasitic drugs. Pharmacokinetic data, cost-effectiveness analysis and public health stakeholder’s involvement will further strengthen the case for future implementation of co-administered antiparasitic drugs in antenatal care schedules. Training in African scientific leadership will contribute to a critical mass of highly trained professionals.

Keywords: mother child health,pregnancy,antiparasitic drugs