Data-Gouv-ML/pcri-informations-sur-les-projets-laureats huggingface dataset:
Rising Innovative City 2023 - Cork City Application (Icapital)

Framework: Horizon Europe — Innovative Europe
Programme: The European Innovation Council (EIC)
Theme: EU prize
Destination: European Capital of Innovation Awards
Action type: Recognition Prize
Countries involved: Ireland
Call: The European Capital of Innovation Awards Rising 2023 (HORIZON-EIC-2023-ICAPITAL-PRIZE-02, 2023)
Total project cost (EUR): 0.0
EU funding (EUR): 0.0
Participants: 1
Project status: SIGNED

Cork City is Ireland's second largest city home to a population of 222,333 people (2022). Cork City is Ireland’s second largest economic engine and an emerging national counterbalance to Dublin, offering a diverse economic base with strong concentrations of activity present in ICT, Life Sciences, International Traded Services, Business Services, Education, Health, Retail, Cybersecurity and Nanotechnology. The wider city region also plays host to an internationally significant pharma and bio-pharma sector plus strong energy, maritime and agri-food clusters. As well as being the main service centre for the Southern Region, Cork is home to significant national level health, educational and cultural institutions Cork City Council is the local governing body responsible for delivering a broad range of services in relation to roads; traffic; planning; housing; economic and community development; environment, recreation and amenity services; fire services and maintaining the register of electors. Cork City Council is managed and governed by two separate but inter linked arms; the Executive and the Elected Members. The Executive are responsible for the delivery of the above mentioned services while the Elected Members (Councillors) of which there are 31 and chaired by the Lord Mayor have reserved functions including making the council budget and City Development Plan. Cork City's Rising Innovative City 2023 application seeks to show the breadth of Cork City's innovative eco-system. An eco-system which links the citizens, the public sector, academia and industry together to solve key issues and create a better quality of life for it's citizens.

Keywords: innovation,climate action,digitization,research,academia,public,industry
Support Structure for Soil Living Labs (SOILL)

Framework: Horizon Europe — Global Challenges and European Industrial Competitiveness
Programme: Mission
Theme: Soil health and food
Destination: Soil health and food
Action type: Framework Partnership Agreement
Countries involved: Belgium,Netherlands,France,Germany,Sweden,Finland,Austria,Italy,Denmark,Hungary,Spain,Serbia,Poland,Israel,Norway,Portugal,Greece,Canada,United Kingdom
Call: Framework Partnership Agreement (FPA) for a Living Lab network support structure (HORIZON-MISS-2022-SOIL-01, 2022)
Start date: 2024-01-01
End date: 2028-12-31
Duration (months): 60.0
Total project cost (EUR): 0.0
EU funding (EUR): 0.0
Participants: 48
Project status: SIGNED

The Mission “A Soil Deal for Europe” aims to pioneer, showcase, and accelerate the transition to healthy soils by 2030, supporting the long-term commitments at European and global level within the Green Deal and Sustainable Development Goals. Ultimately, the creation of 100 Living Labs (LLs) and Lighthouses (LHs) will accelerate the creation and uptake of solutions by land managers, showcase measurable increase in soil health, improved social capital and citizen awareness. SOILL – lead by ENoLL, the international association of certified LLs – aims to set up and run an effective, agile, transdisciplinary, capillary, open and fair one-stop-shop structure. This will coordinate, support, enlarge, and promote the network of 100 Soil Mission LLs and LLs, and ensure their co-created, user-centred, harmonized, reliable, impactful, replicable, and sustainable lead of the transition towards healthy soils across different settings, geographical and socio-economic contexts. To facilitate this, the SOILL action plan has been designed to be agile and ready to adapt to the specific needs and requirements of LLs and LHs (applicant and established) as well of the different actors relevant in the different ecosystems and value chains. SOILL will support the production, exchange, and integration of knowledge to be transformed into specific and specialised skills for expanding practice, social capital, and policies. SOILL will help established LLs and LHs - as well as regional and national stakeholders seen as potential applicants - in building peer-to-peer relationships to ensure that best practices, guidance, knowledge, and lessons learnt are meaningfully shared and that they can learn from each other and scale up implementation of innovative approaches. Alongside, SOILL will start, facilitate, and coordinate the interaction of the network in the wider framework of the soil-related ecosystems, engaging all relevant stakeholders at national, European, and international level.

Keywords: one stop shop efficiency effectiveness agility trans disciplinarity capillarity openness fairness user centred co creation harmonization reliance impact replicability sustainability
Certified Refinement Types (CRETE)

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: Spain
Call: ERC STARTING GRANTS (ERC-2021-STG, 2021)
Start date: 2022-07-01
End date: 2027-06-30
Duration (months): 60.0
Total project cost (EUR): 1500000.0
EU funding (EUR): 1500000.0
Participants: 1
Project status: SIGNED

Refinement types are a type-based, static verification technique designed to be practical. They enrich the types of an existing programming language with logical predicates to specify program properties and automatically validate these specifications using SMT solvers. Refinement types are a promising verification technology that in the last decade has spread to mainstream languages (e.g., Haskell, C, Ruby, Scala, and the ML-family) to verify sophisticated properties of real world applications, e.g., safety of cryptographic protocols, memory and resource usage, and web security. The weakness of refinement types is that they do not meet the soundness standards set by theorem provers. A sound verification system accepts as safe only those programs that never violate their specifications. Refinement type checkers (e.g., Liquid Haskell, F*, and Stainless) approximately report five unsoundness bugs per year, as opposed to only one reported by the Coq theorem prover. This rarity of unsoundness bugs in Coq is unsurprising since Coq is designed to soundly machine check mathematical proofs. Coq's soundness design recipe though cannot be directly applied to refinement type checkers that aim to practically verify real world programs. The goal of CRETE is to design a sound and practical refinement type system. This is an ambitious goal that entails the development of a verification system that is as practical as refinement types and constructs machine-checked mathematical proofs. The system will be implemented on refinement type systems for mainstream languages (i.e., Haskell and Rust) and will be evaluated on real-world code, such as web applications and cryptographic protocols. CRETE is high-risk since it aims to develop a novel program logic in which SMT automation co-exists with real world programming. Yet, CRETE is high-gain since it proposes a low-cost, high-profit approach to formal verification that aims to be integrated in mainstream software development.

Keywords: refinement types,type systems,smt program verification
The influence of pregnancy on maternal osteology in marine amniotes (EXPLAC)

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: Environment and Geosciences
Countries involved: Norway
Call: MSCA Postdoctoral Fellowships 2024 (HORIZON-MSCA-2024-PF-01, 2024)
Start date: 2025-08-15
End date: 2027-08-14
Duration (months): 24.0
Total project cost (EUR): 251578.56
EU funding (EUR): 251578.56
Participants: 1
Project status: SIGNED

Placentotrophy (delivery of nutrients to the fetus throughout pregnancy) is a highly derived reproductive strategy present in most mammals and some other vertebrates, including a handful of reptiles. Even though many different viviparous (life-birthing) reptiles are known in the fossil record, the presence of placentotrophy in these groups has never been documented. This project aims to explore the potential presence of placentotrophy in extinct the viviparous marine reptiles: ichthyosaurs and sauropterygians. Previous work on other animal groups indicates that a change in bone organization, induced by calcium scavening, is likely to be visible if placentotrophy is present. In this study whales are used specifically as comparison for extinct marine reptiles due to their similarity in ecology and bone histology. I will therefore first investigate the effects of pregnancy on bone organization in whales to test whether the patterns seen in terrestrial animals are visible in a fully marine adapted clade. Then, I evaluate if a similar signal is present in extinct marine reptiles. Bone organization will be assessed via bone micro-anatomy, specifically cortical thickness and trabecular bone volume, which have shown to be different in pregnant individuals. Data will be collected using CT scans and drill core samples. This study presents the first attempt to assess the presence of placentrophy in a fossil animal and is a crucial step in understanding the evolution of amniote reproductive strategies. Since many of the necessary clades for understanding this evolutionary puzzle are lost to extinction, utilizing fossil material is essential.

Keywords: placentotrophy,pregnancy,bone organization,ichthyosauria,sauropterygia,cetacea,calcium scavenging
Morphological evolution in island birds: underlying molecular and ecological mechanisms (ISLADAPT)

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: Environment and Geosciences
Countries involved: Portugal
Call: Fostering balanced brain circulation – ERA Fellowships (HORIZON-WIDERA-2022-TALENTS-02, 2022)
Start date: 2023-09-01
End date: 2025-08-31
Duration (months): 24.0
Total project cost (EUR): 156778.56
EU funding (EUR): 156778.56
Participants: 1
Project status: CLOSED

Understanding body size variation across and within species has been a main quest in evolutionary biology, but many of the mechanisms underlying body size evolution remain elusive. This is largely because of the complex interplay of different factors such as climate, diet and interactions with competitors and predators. Island are simplified ecosystems with a reduced number of habitats, species diversity and number of predators, and generally milder climate, making them ideal natural laboratories for dissecting the intricate mechanisms underlying body size evolution. ISLADAPT aims to unravel mechanisms of morphological evolution and species diversification in birds, using both macro and microecological-evolutionary approaches based on state-of-the-art methodologies such as metabarcoding and Bayesian analysis. First, this project will use data from museums and literature for endemic island species and their closest relatives from mainland worldwide (WP1) to unravel the underlying mechanisms, such as changes in the ecological niche, geographical features and phylogeny, that explain the systematic morphological changes on islands (WP2). Second, ISLADAPT will use field-based data to test the hypothesis that morphological changes on islands are linked to changes in the feeding niche breadth. To do this, faeces and biometric data will be analysed from 20 bird species from Gulf Guinean Island and the nearby mainland, and diet composition will be identified with metabarcoding techniques (WP3). Third, ISLADPT will examine the relationship between bird morphological evolution and lineage diversification on islands by using biometric data from museums and phylogenetic information for three archipelagos: New Caledonia, the Gulf of Guinea and Salomon Islands (WP4). ISLADAPT will therefore address central, open questions in island biology and reveal the underlying mechanisms, thereby providing a major contribution to our understanding of island adaptation.

Keywords: morphology,island patterns,birds,diet,metabarcoding
Boride-derived Highly Efficient Material for Green Hydrogen Generation and Zn–air Battery (HYDROBAT)

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: Chemistry
Countries involved: Italy
Call: MSCA Postdoctoral Fellowships 2022 (HORIZON-MSCA-2022-PF-01, 2022)
Start date: 2024-09-01
End date: 2026-08-31
Duration (months): 24.0
Total project cost (EUR): 188590.08
EU funding (EUR): 188590.08
Participants: 1
Project status: SIGNED

The world energy demand is expected to grow by more than 25% by 2040, according to the world energy outlook by the International Energy Agency. To tackle this significant and urgent challenge new materials with engineered properties for energy applications are required. Hydrogen (H2) production by water electrolysis (Green H2) has received great interest as an alternative sustainable and clean energy technology. For instance, the green H2 is very crucial for the European Commission’s net zero emissions scenarios for 2050. To achieve green H2, this technology should be coupled with intermittent and renewable energy sources. And thus, the energy storage devices are involved in the green H2 production system. Due to its high energy density, and environmental-friendly, the Zinc-air battery is regarded as important energy storage device in the near future. But, the lack of satisfactory cheaper bifunctional electrocatalysts (ECs) for Hydrogen Evolution Reaction (HER) and oxygen evolution reaction (OER) for water electrolysis and the lack of bifunctional air ECs for oxygen reduction reaction (ORR) and OER are the main challenges for both these technologies. The state-of-the-art ECs are based on noble metals, whose application at a large scale is limited due to their high cost and scarcity. Consequently, the development of highly efficient ECs without precious metals is urgent. Current strategies for the development of desirable earth-abundant materials are often limited because of the poor electron transfer, low conductivity, poor stability, and small surface area of the active materials. To tackle this challenge, we aim (1) to develop hybrid materials based on earth-abundant metals derived from boride and highly conductive carbon by chemical reduction and pyrolysis methods, (2) to study their structure-property relationship, and finally, (3) to understand the degradation mechanism which is crucial for designing the materials with outstanding stability.

Keywords: earth abundant metal materials,metal borides,electrocatalysis,water electrolysis,water splitting,oxygen evolution reaction,hydrogen evolution reaction,oxygen reduction reaction,zn air battery
pLatform for Analysis of Resilient and secUre Software (LAZARUS)

Framework: Horizon Europe — Global Challenges and European Industrial Competitiveness
Programme: Civil Security for Society
Theme: Civil Security for Society
Destination: Increased Cybersecurity
Action type: Research and Innovation actions
Countries involved: Greece,Spain,Italy,Cyprus,Romania,Bulgaria,Finland,Luxembourg
Call: AI for cybersecurity reinforcement (HORIZON-CL3-2021-CS-01, 2021)
Start date: 2022-09-01
End date: 2025-08-31
Duration (months): 36.0
Total project cost (EUR): 3647438.0
EU funding (EUR): 3647438.0
Participants: 10
Project status: SIGNED

LAZARUS is a three-year research and innovation project that aims to heal many of the security issues that befall modern software during its development lifecycle. The recently introduced area of DevSecOps - in medium to large companies - unfortunately lacks automated security tools, while most existing solutions are targeting only one narrow step of the SDLC process but miss a much needed holistic overview of the global security solution. LAZARUS innovates by intervening in multiple steps of the SDLC, performing targeted security checks and collecting valuable information and intelligence from each step, and exploiting advanced ML and AI methods to convert this intelligence into actionable insights and recommendations. The main innovations of LAZARUS are illustrated in the figure below. Moreover, we provide advanced features for developers, that employing our tools would be able to deploy more intelligent and distributed solutions through dedicated APIs. LAZARUS follows an open-source approach for the core functionality, which is supported by a realistic and viable business model for the sustainability and further exploitation of the project after it reaches the end of this financing phase. To validate the efficacy of the project outcomes we have secured two exciting real-world, diverse, pilots in two very different and demanding sectors.

Keywords: self healing,automated vulnerability identification,vulnerability patching
Extremophile Engineering Biology for Applications in Extreme and Low-Resource Environments (EEBio)

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: United Kingdom,Singapore
Call: MSCA Postdoctoral Fellowships 2024 (HORIZON-MSCA-2024-PF-01, 2024)
Start date: 2026-05-01
End date: 2029-04-30
Duration (months): 36.0
Total project cost (EUR): 361338.6
EU funding (EUR): 361338.6
Participants: 2
Project status: SIGNED

Extremophiles are extraordinary microbes that thrive in some of the harshest conditions on Earth – they can be found in the Yellowstone hot springs, at the deepest points in our oceans, underneath the ice caps in Antarctica and even in normal soil in our cities. These remarkable creatures have unique physiological features that allow them to survive and function where most other life forms cannot. My research aims to uncover these special adaptations and utilise them to develop new healthcare technologies. Traditional biological systems (involving normal cells) struggle to operate in harsh environments which include remote areas of our planet, least developed/developing countries and outer space. For example, medicines degrade faster in the high-radiation and low-gravity conditions of space. So, if they can be made by the extremophiles that can survive the harsh conditions in space, we can take extremophiles instead! However, programming extremophiles to make medicines or food can be challenging - I want to overcome some of these through this fellowship. I plan on studying these organisms in detail to understand their unique survival mechanisms. Then, I will choose combinations to focus on, and genetically modify the extremophiles for specific applications (e.g. therapeutic or sensing). Lastly, I will design this technology such that it can be used easily by everyone – particularly those without a science/research background. I have expertise in developing similar technologies from my PhD in Astropharmacy (University of Nottingham) and more recently through my postdoctoral work (Imperial College London). During my PhD, I developed and tested new technologies, including an experiment that will be sent to space next year. Skills from both these experiences will be crucial in achieving this project's multidisciplinary goals and unlocking new possibilities for healthcare in extreme environments and equitable healthcare for those in low resource environments.

Keywords: extremophiles,cell free synthetic biology,biomanufacturing
Nimble Artificial Intelligence driven robotic solutions for efficient and self-determined handling and assembly operations (MASTERLY)

Framework: Horizon Europe — Global Challenges and European Industrial Competitiveness
Programme: Digital, Industry and Space
Theme: Industry
Destination: Climate neutral, Circular and Digitised Production
Action type: Research and Innovation actions
Partnership: Made in Europe (co-programmed)
Countries involved: Greece,Italy,Spain,Germany,Ukraine,Korea, Republic of,United Kingdom
Call: Intelligent work piece handling in a full production line (Made in Europe Partnership) (RIA) (HORIZON-CL4-2022-TWIN-TRANSITION-01, 2022)
Start date: 2023-01-01
End date: 2026-06-30
Duration (months): 42.0
Total project cost (EUR): 5683670.0
EU funding (EUR): 5683670.0
Participants: 16
Project status: SIGNED

Over the last years, production has been shifted from mass production to customization. The conventional production lines, traditionally focused on one product variant or one family of products do show their limitations to cope with the new needs. Moreover, unprecedented worldwide events, such as the recent pandemic crisis, indicated even more the need for flexible production systems that can rapidly switch production to a totally different one (e.g. automotive manufactures had to produce respirators, facemasks etc.). As a response, MASTERLY aims to develop flexible robotic solutions, constituting of modular grippers combined with state-of-the-art robotic technologies, such as mobile, high and low payload industrial and collaborative robots and smart cranes, enhanced with AI driven advanced control and perception capabilities that will allow them to act autonomously, handling a large variety of parts varying in size, shape and material, while being acceptable by both genders of workforce. The developments will focus around the following 5 pillars: 1) Innovative, efficient and low consumption systems for storage, retrieval, conveying and pick-and-place using a multi-disciplinary approach combining technologies 2) Robust handling devices and systems, with integrated –AI driven- advanced control 3) User-friendly interfaces for robot/machine control and programming 4) Interoperable S/W and H/W interfaces 5) Industrial Pilot Cases for work piece handling in full production line The technologies will be tested for flexibility, efficiency & user acceptance in three use cases from different productions sectors, aiming to demonstrate production line and cross sector applicability and adaptability: Elevators manufacturing, focusing on the assembly of electrical cabinets of lifts (KLEEMANN), Sportswear, focusing on warehouse logistics and packaging (DECATHLON) and Aeronautics production, focusing on production of large composite panels of aircraft wings (AERNNOVA).

Keywords: hrc smart grippers mobile robots ai perception vision force control digital twin smart conveying cobots