Data-Gouv-ML/pcri-informations-sur-les-projets-laureats huggingface dataset:
Synthetic Methods in Program Verification (TypeSynth)

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: Denmark
Call: MSCA Postdoctoral Fellowships 2021 (HORIZON-MSCA-2021-PF-01, 2021)
Start date: 2022-07-01
End date: 2024-06-30
Duration (months): 24.0
Total project cost (EUR): 214934.4
EU funding (EUR): 214934.4
Participants: 1
Project status: CLOSED

TypeSynth: Synthetic Methods in Program Verification Software systems mediate a growing proportion of human activity, e.g. communication, transport, medicine, industrial and agricultural production, etc. As a result, it is urgent to understand and better control both the correctness and security properties of these increasingly complex software systems. The diversity of verification requirements speaks to a need for models of program execution that smoothly interpolate between many different levels of abstraction. Models of program execution vary in expressiveness along the spectrum of possible programming languages and specification logics. At one extreme, dependent type theory is a language for mathematically-inspired functional programming that is sufficiently expressive to serve as its own specification logic. Dependent type theory has struggled, however, to incorporate several computational effects that are common in every-day programming languages, such as state and concurrency. Languages that support these features require very sophisticated specification logics due to the myriad details that must be surfaced in their semantic models. In the context of dependent type theory, I have recently developed a new technique called Synthetic Tait Computability or STC that smoothly combines multiple levels of abstraction into a single language. Inspired by sophisticated mathematical techniques invented in topos theory and category theory for entirely different purposes, STC enables low-level details (even down to execution steps) to be manipulated in a simpler and more abstract way than ever before, making them easier to control mathematically. Perhaps more importantly, the STC method makes it possible to import ideas and techniques from other fields that seemed more distant prior to my intervention. The goal of the TypeSynth project is to extend the successful STC approach to a wider class of programming models, in particular programming languages with effects.

Keywords: programming languages,logical relations,semantics,denotational,category theory,topos theory,computational effects,proof assistants,type theory,compositionality
Establishing the Center for Environmental and Technology Ethics - Prague (CETE-P)

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: Coordination and support actions
Countries involved: Czechia
Call: ERA Chairs (HORIZON-WIDERA-2022-TALENTS-01, 2022)
Start date: 2023-01-01
End date: 2027-12-31
Duration (months): 60.0
Total project cost (EUR): 2235990.0
EU funding (EUR): 2235990.0
Participants: 1
Project status: SIGNED

The ethical challenges posed by emerging technologies and climate change have been critically examined by ethicists in newly founded research centres all around the developed world. Yet, there is no comparable research program in the Czech Republic, and only a few relevant research initiatives in the entire CEE region. The ERA Chair position held by Prof. Mark Coeckelbergh, one of the most prolific and innovative authors in philosophy of technology and environment, will help to remedy this situation by establishing an internationally excellent research center for environmental and technology ethics at the Institute of Philosophy (IP), the largest humanities institute of the Czech Academy of Sciences. The center will contribute to advancing state-of-the-art knowledge in environmental and technology ethics, in particular by focusing on issues that are globally under-researched, and/or imperative in the CEE region. At the same time the project will enable the IP to implement a set of organisational measures and structural changes, in particular in the areas of HR, international grant support, research management and institutional culture. With massive support from the IP management, planned and realised in cooperation with the ERA Chair holder, these changes will improve the international visibility of the IP, helping it to both succeed in competing for EU research funds and better integrate the IP into the European research landscape. By deploying smart means of approaching diverse target groups, this project aims to overcome the existing barriers between the general public, concerned stakeholders and the IP’s research community, as well as facilitate the flow of expert ethical opinions in the wider societal debate. In its long-term impact, this project shall contribute to further increase in public visibility of SSH research and its relevance for tackling urgent societal and political issues.

Keywords: environmental ethics technology ethics emerging technologies artificial intelligence climate change
Modeling Erosion of scoria COnes to constrain Morphometry-based Ages. (MECOMA)

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: Belgium
Call: MSCA Postdoctoral Fellowships 2023 (HORIZON-MSCA-2023-PF-01, 2023)
Start date: 2024-10-01
End date: 2026-09-30
Duration (months): 24.0
Total project cost (EUR): 191760.0
EU funding (EUR): 191760.0
Participants: 1
Project status: SIGNED

The MECOMA project aims to significantly improve hazard assessment of monogenetic volcanic fields (VF) by creating synergies between recent advances in landscape evolution modelling and the current understanding of scoria cones' volcanic structure and evolution. Assessing hazards from VF is more challenging than that of polygenetic volcanoes, as it requires understanding the spatiotemporal distribution of eruptions within the VF. Constraining temporal information is specifically challenging: radiometric dating of scoria cones (SC) provides, until now, the most "accurate" estimate of the date of their eruption, but it cannot be systematically applied to the hundreds or even thousands of SC within each of the many VF on Earth. Morphometry-based dating of SC provides an alternative. Research has shown that following the cone's emplacement, the volcanic edifice's morphology changes due to erosive processes. Parameters measuring the decrease of slope angle, the degree of gully incision, and cone irregularity are key indicators of erosion that can be quantified from Digital Terrain Models (DTM). However, some questions still need to be answered to use morphometric indicators as age estimators, such as the control of SC size and climate conditions on the time evolution of morphometric indicators or the trade-offs between diffusive and advective erosion processes. MECOMA project seeks answers to those questions by implementing numerical models to simulate erosion on cones under controlled erosive conditions and linking the results with an analysis of the morphologies of radiometrically-dated scoria cones from different VF exposed to various climatic conditions. As an outcome, I expect to provide tools and clear guidelines that contribute to implementing morphometry-based dating techniques in VF worldwide and, through my training at VUB, gain experience managing research projects and expertise in landscape evolution modelling and volcanic geomorphology.

Keywords: monogenetic scoria cones,landscape evolution modelling,hazard assessment of dispersed volcanism
Hybridisation and its phenotypic effects under climate change in ants (HYPE)

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: Netherlands,Germany
Call: MSCA Postdoctoral Fellowships 2024 (HORIZON-MSCA-2024-PF-01, 2024)
Start date: 2025-07-01
End date: 2027-06-30
Duration (months): 24.0
Total project cost (EUR): 232916.16
EU funding (EUR): 232916.16
Participants: 2
Project status: SIGNED

Climate change is challenging all species. To persist, organisms must respond to fast-changing and perhaps extreme conditions. Phenotypic plasticity likely plays an important role and can occur within an organism’s lifetime but may be insufficient over a longer time. Adaptation via genomic changes requires time and sufficient variation on which natural selection can act – both of which are often limited in natural populations. Hybridisation between species can rapidly increase genetic variation, boosting plasticity and adaptive potential. However, our understanding of the effects of hybridisation on phenotypic traits under climate change is limited, despite its potential to promote persistence and reduce biodiversity loss. In the project HYPE, I will assess if hybridisation can mitigate the effects of climate change by studying mound-building wood ants, geographically widespread keystone forest species. Across three research objectives, I will 1) quantify the extent of hybridisation across Europe and its impacts on genetic diversity; 2) assess the impact of hybridisation on acute heat tolerance; and 3) experimentally test the effect of hybridisation on seasonal phenotypic plasticity and adaptive potential under simulated climate change in three key traits, specifically acute heat, desiccation, and humidity stress tolerance. I will combine European-wide fieldwork, cutting-edge population genomics, and large-scale phenotypic lab assays in a multidisciplinary and ambitious project. The results will push boundaries in our understanding of whether and how hybridisation influences the response of natural populations to climate change and can fuel adaptation to it. As such, they will be of high scientific and social impact, such as on UN Sustainable Development Goals. The training-through-research will significantly advance my skills under excellent supervision and thus help me obtain a permanent position, apply for an ERC Starting Grant, and launch my independent career.

Keywords: hybridisation mound building wood ants adaptation under climate change phenotypic traits formica rufa group consequences of hybridisation phenotypic plasticity
Network-Driven Multi-Modal Integrative Framework for Virus-Host Entry, Neuroinvasion Mapping and Targeted Drug Discovery in Neurotropic Flaviviruses (REFINE HOP-ON) (REFINE HOP-ON)

Framework: Horizon Europe — Widening Participation and Strengthening the European Research Area
Programme: Widening participation and spreading excellence
Theme: Improved access to Excellence
Destination: Improved access to Excellence
Action type: Research and Innovation actions
Countries involved: Netherlands,Cyprus
Call: Hop-on facility (HORIZON-WIDERA-2025-03, 2025)
Duration (months): 33.0
Total project cost (EUR): 593725.0
EU funding (EUR): 593725.0
Participants: 2
Project status: CLOSED

The overall objective of the REFINE project is to improve treatment opportunities for mosquito-borne orthoflavivirus infections by providing novel targets for therapeutic antibodies, inhibitors, and vaccines, as well as a preclinical platform for efficacy and safety assessment. The REFINE hop-on adds significant computational depth by introducing innovative network-based bioinformatics methodologies to integrate findings from diverse partners into a unified synthesis model for drug discovery. The focus is on neurotropic flaviviruses, complemented by comparative analyses with pathogenic and non-pathogenic strains, addressing the urgent unmet need for licensed vaccines or antiviral therapies in humans. We propose a Systems Bioinformatics approach structured into three strategic objectives: 1. Develop integrative tools for identification of virus-host entries and neuroinvasion mechanisms. Integrating public and REFINE-generated data, we will develop comparative tools to map actionable virus-host interactions, using protein-protein interaction networks, and pathways implicated in neuropathogenesis. These models will guide experimental workflows and highlight therapeutic entry points. 2. Network-driven drug discovery. Using multi-source drug ontologies, predictive network simulations, and single-cell transcriptomics, we will build integrative models using gene regulatory networks, to identify druggable virus-host targets and rationally prioritize drug candidates. Cell-cell communication modeling will further uncover immune and tissue-specific interactions that drive neuropathology. 3. Web-based translational platform. A modular web-environment will be developed to encapsulate the outputs of Objectives 1 and 2 into a user-friendly framework. This platform will include a Knowledge Atlas for virus-host interactions, visualization of signaling and regulatory networks, and automated drug synergy prediction to support cross-validation and hypothesis testing.

Keywords: drug discovery repurposing,protein protein interactions,gene regulatory networks,graph theory,orthoflavivirus research
Alternatives for an effective Transition to sustainable, Reusable and recyclable construction products by the Innovative production of User and eco-friendly bio-based Materials. (ATRIUM)

Framework: Horizon Europe — Global Challenges and European Industrial Competitiveness
Programme: Food, Bioeconomy Natural Resources, Agriculture and Environment
Theme: Bio-Environment
Destination: Other Bio-environnement destinations
Action type: Innovation actions
Countries involved: Spain,Austria,Poland,Italy,Belgium,United Kingdom,Israel
Call: Eco-friendly consumer products – low-toxicity/zero pollution construction bio-based materials (HORIZON-CL6-2023-CIRCBIO-01, 2023)
Start date: 2024-07-01
End date: 2027-12-31
Duration (months): 42.0
Total project cost (EUR): 5310375.0
EU funding (EUR): 4813575.0
Participants: 14
Project status: SIGNED

The building and construction sector is a key area that has significant impacts on the economy and environment. This sector contributes to the economy (about 9% of the EU’s Gross Domestic Product (GDP)), provides direct and indirect job opportunities (18 million direct jobs at the EU) and satisfies the people’s needs for buildings and facilities. Therefore, any effort concerning global climate change and cleaner production should include this industry as a major player. ATRIUM exploits the potential of combining natural fibres (leftovers of European crops, mainly hemp), second and third generation of bioplastics (bio-PE/PA/PU) and mycelium-based biotechnology to produce bio-composites intermediates that can be integrated in construction products (outdoor and indoor floorings, acoustic panels, green wall systems, and building block) to be easily used by professionals and amateurs in building and renovation actuations. In this way, ATRIUM will not only provide more safety and non-toxic construction solutions but also boost the creation of sustainable bio-based value chains and the integration of efficient biotechnology to develop the circular economy and bioeconomy sectors. To do this, ATRIUM will develop production pilot lines that integrate efficient and flexible technologies (co-extrusion, foaming, injection moulding, additive manufacturing and biofabrications) and engage the key actors for the design acceptance and certification of the new products. ATRIUM will also promote the public engagement dialogue to bring the EU closer to citizens and local urban and rural areas through appropriate communications, local initiatives and actions.

Keywords: hemp upcycling,bio based composites,micellium solutions,additive manufacturing
Attitudes Towards Intimate Partner Violence against Women: from Neural Networks to Daily Life Experience (NEURO-IPVAW)

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: Austria
Call: MSCA Postdoctoral Fellowships 2023 (HORIZON-MSCA-2023-PF-01, 2023)
Start date: 2024-12-01
End date: 2026-11-30
Duration (months): 24.0
Total project cost (EUR): 183600.96
EU funding (EUR): 183600.96
Participants: 1
Project status: SIGNED

One in three women worldwide has been subjected to either physical and/or sexual intimate partner violence in their lifetime. By understanding what the roots of intimate partner violence against women (IPVAW) are, and how it manifests as a pattern of behaviour, we might be able to prevent and counteract this violence. Attitudes toward IPVAW significantly shape interpersonal behaviours and societal reactions, acting as a factor that contributes to the risk of committing violence. Yet, despite first research, it remains unclear how these attitudes are instantiated on a neuronal level, and how they shape our daily emotional experience and behaviour. The overall goal of the research program NEURO-IPVAW is to provide an explanatory theory of the neural underpinnings mediating attitudes towards IPVAW and a predictive quantitative model capturing this theory. Towards this goal, NEURO-IPVAW will introduce an innovative neuroscientific approach. First, NEURO-IPVAW will reveal the neural foundations underlying IPVAW attitudes in relation to emotional processing in the mature brain. Second, it will unravel the link between the neural foundation and daily-life experience. For maximal efficiency and power in unified theory formation and model building, NEURO-IPVAW will employ an integrated, interdisciplinary research strategy that combines a) large-scale non-invasive brain imaging to capture neural underpinnings of IPVAW attitudes, b) experience sampling assessing daily-life experience in an ecologically valid setting, c) advanced computational modelling using representational similarity analysis to build a predictive, quantitative model of daily-life emotional experience and behaviour. Through this orchestrated effort NEURO-IPVAW will provide the empirical pieces of evidence for a new theory and model of the neural basis mediating IPVAW attitudes, thereby enhancing IPVAW prevention efforts, challenging our societal norms, and contributing to the progression of gender equality.

Keywords: intimate partner violence,emotion,empathy,attitudes,brain,fmri,human,individual differences
Space-based composite Ads-b and multilaTerarion systEm validation thRough scalable simulAtions (SATERA)

Framework: Horizon Europe — Global Challenges and European Industrial Competitiveness
Programme: Climate, Energy and Mobility
Theme: Public-private partnerships
Destination: Single European Sky Air Traffic Management Research
Action type: Research and Innovation actions
Partnership: SESAR (JU-JTI)
Countries involved: Spain,Ireland,Italy,Portugal,Brazil
Call: ATM application-oriented research for connected and automated ATM (HORIZON-SESAR-2023-DES-ER-02, 2023)
Start date: 2024-07-01
End date: 2026-12-31
Duration (months): 30.0
Total project cost (EUR): 1761498.75
EU funding (EUR): 1761498.75
Participants: 6
Project status: SIGNED

SATERA will propose and validate an integrity estimator for space-based ADS-B systems based on crosschecking positions reported in ADS-B messages with position estimations provided by space-based MLAT systems. To reach this goal, SATERA will apply a stepped approach starting by the definition of an initial OSED providing a high-level operational description at system level, identifying all the involved stakeholders, and detailing the CNS equipage of the fleet and the available air traffic services. Then, SATERA will adapt the system architecture described in the ED-142A for a composite ground-based surveillance system providing ADS-B and WAM surveillance to cope with the particularities of a space-based system. Next, the research team will develop theoretical models to assess and benchmark the proposed system architecture leading to a full list of functional requirements and interfaces description that will be captured in a Functional Description Document. SATERA will also adapt for a space-based system the performance requirements it has to meet according to the ED-142A for ENR-low/medium/high traffic densities. Afterwards, SATERA will develop a system performance prediction tool to compute the theoretical performance of a MLAT system whose receiving stations are onboard of a constellation of LEO small satellites. This tool will take into consideration all the error sources that can affect the MLAT system performance and will be used to update the initial OSED (if needed) and system architecture, and to select the most suitable constellation for validating the SATERA solution at TRL2 using an end-to-end system evaluation tool that will be developed by the research team as an evolution of the system performance prediction tool. The TRL2 validation will consist of several validation exercises addressing the provision of composite space-based ADS-B+MLAT surveillance in the EURSAM and NAT corridors for realistic traffic.

Keywords: multilateration,mlat,ads b,surveillance,e mlat,composite ads b e mlat,space based surveillance,space based cns