Data-Gouv-ML/pcri-informations-sur-les-projets-laureats huggingface dataset:
Algorithms and Game Comonads (Algacom)

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: Czechia
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): 166278.72
EU funding (EUR): 166278.72
Participants: 1
Project status: SIGNED

Our modern society is driven by computers, digital services, and algorithms. Understanding their weaknesses and limitations is one of the main subjects of study of theoretical computer science. Probably the most studied aspect of algorithms is their efficiency of use of computational resources, embodied as the running time of an algorithm. Parameterised complexity is a branch of theoretical computer science interested in determining whether there exists an efficient algorithm that solves a given computational problem. The efficiency is determined based on the structure of the input data. The main limitation of parameterised complexity is that these analyses of computational problems are done on a case-by-case basis. This means that if somebody changes the problem or its parameterisation ever so slightly, the whole analysis has to be redone from scratch. To tackle this problem we propose to use game comonads, a novel structural approach to logic in computer science. The theory of game comonads draws its strength from category theory, a well-established discipline of mathematics which specialises on compositionality, reusability of its tools and high-level of abstraction. Game comonads, despite being relatively new, have already shown to be a useful tool in the study of finite model theory, which is an adjacent area of study of parameterised complexity. The primary goal of this project is to bring compositional tools of category theory into the setting of algorithms, with game comonads acting as the connecting glue. This project bring together expertise in category theory, in the form of the applicant and expertise in parameterised complexity, in the form of the host institution and the supervisor who will devote their efforts into bridging the gap between the two thus-far mostly disjoint disciplines of computer science and mathematics.

Keywords: parameterized complexity,category theory,game comonads,finite model theory,universal coalgebra,algorithms
COntext-free model checking for Recursive PrObabilistic pRogrAms (CORPORA)

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: Austria
Call: MSCA Postdoctoral Fellowships 2022 (HORIZON-MSCA-2022-PF-01, 2022)
Start date: 2023-09-01
End date: 2025-08-31
Duration (months): 24.0
Total project cost (EUR): 183600.96
EU funding (EUR): 183600.96
Participants: 1
Project status: CLOSED

IoT and embedded systems are powered by increasingly sophisticated software components, employing machine learning to create devices that perform activities once exclusively carried out by humans. Since these activities may involve significant risks and responsibilities, ensuring the correctness and safety of involved software components is crucial. Probabilistic Programs (PPs) are often employed in AI-powered software, particularly to exploit Bayesian inference, and to model randomized algorithms. Thus, studying verification of PPs can enable verification techniques for ensuring safety and correctness of AI-powered programs. PPs are computer programs that, besides ordinary programming constructs, may contain random choices, and variable assignments according to a random distribution. The CORPORA (COntext-free model checking for Recursive PrObabilistic pRogrAms) project aims at developing new techniques for the verification of Recursive Probabilistic Programs, one of the most expressive classes of PPs. Recursive PPs may contain recursive procedures. Since procedures are governed by a stack, they exhibit a context-free behavior in execution traces: verification of procedural programs has motivated the study of model checking pushdown formalisms. The need for specifying properties concerning the stack’s contents has led to the introduction of ad-hoc specification formalisms, including temporal logics featuring context-free-aware modalities, such as CaRet, NWTL and POTL, the latter being introduced by the applicant during his Ph.D. The CORPORA project will extend the context-free model checking framework to recursive PPs, and its research objectives will encompass the theoretical and practical study of model checking thereof. The project’s expected results include a model checker for context-free properties of recursive PPs, which will enable the practical evaluation of the techniques developed in the project.

Keywords: model checking,probabilistic programming,software verification
Feminisms and the Mobilisation of Law in Gulf Countries (GulfFeminisms)

Framework: Horizon Europe — Excellent Science
Programme: European Research Council (ERC)
Theme: European research council
Destination: Starting grants
Action type: ERC actions
Panel: Texts and Concepts
Panel description: Literary studies , literature,  philosophy
Countries involved: Denmark
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): 1454118.0
EU funding (EUR): 1454118.0
Participants: 2
Project status: SIGNED

Abstract: Current literature have tended to analyze feminist activisms in MENA almost exclusively from the point of view of their effect on social change broadly defined, reemphasising the reifications of women as victims by sharia laws, the veil and repressive cultural and political systems. In addition, scholars have often directed their attention to visible forms of feminist activism including protesting in revolutionary countries such as Egypt, Tunisia, Lebanon, Yemen, Bahrain, among others, and have marginalised feminisms in stable countries. In this context, GulfFeminisms project is groundbreaking in three ways. First, it examines the under-studied domains of the genealogies of feminisms, and the mobilisation of the law in the three Gulf States of Saudi Arabia, Oman and United Arab Emirates. Women’s rights in all the three countries are interpretatively, but differently, operationalized under Sharia law, abridging women’s freedom to fully participate in decision-making processes at the national level. While established scholarship has provided valuable studies of how patriarchal religious and political authorities use legal and religious frameworks to repress feminists, maintain gendered inequalities and restrict women’s rights. This project shifts the established scholarly perspective by examining how feminisms in the gulf are self-motivated political movements that mobilise laws, including Sharia, to operationalise women’s agencies and practices within private and public spheres and to generate political change. Second, GulfFeminisms offers an original and leading perspective on feminisms in MENA as a practice promoting positive social and political change. Third, to analyse the relation of feminisms and the mobilising of the law, GulfFeminisms combines the multidisciplinary, novel, comparative analytical framework of Feminist Comparative Policy theory (FCP), and Epstein and Martin’s (2004) approaches to qualitative and quantitative empirical law research.
Pharmacogenomics Hub in a strengthened IMGGE (PharmGenHUB)

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: Coordination and support actions
Countries involved: Serbia,Greece,Slovenia,Italy
Call: Twinning Western Balkans Special (HORIZON-WIDERA-2021-ACCESS-02, 2021)
Start date: 2022-07-01
End date: 2025-06-30
Duration (months): 36.0
Total project cost (EUR): 1339250.0
EU funding (EUR): 1339250.0
Participants: 4
Project status: SIGNED

Personalized medicine uses pharmacogenomics (PGX) to individualize therapy upon patients’ unique DNA profiles. With ~200,000 deaths/year in Europe due to adverse drug reactions, it has become an imperative to improve treatment. In Western Balkans (WB), individualization of therapy is done sporadically. IMGGE (Institute of Molecular Genetics and Genetic Engineering, University of Belgrade, Serbia) is a pioneer in the PGX in WB. PharmGenHUB will strengthen IMGGE’s PGX R&I potential by exchanging knowledge between IMGGE and EU partnering institutions: University of Patras, Greece (UPAT), University of Ljubljana, Slovenia (UL), University of Trieste, Italy (UNITS). Through collaboration and knowledge sharing with 3 EU partners, IMGGE will become WB central place for PGX diagnostics and R&I, education and trainings, and translation of PGX knowledge into clinically applicable digital solutions. IMGGE’s research project, high-throughput DNA sequencing of WB populations, with support of UPAT and UL, will identify WB specific drug-PGX marker pairs and enable design of electronic tool for better decision-making in clinical practice, electronic PGX assistant for WB (ePGA-WB). iPSC model for validation of novel PGX markers relevant for Europe will be introduced at IMGGE with support of UNITS. IMGGE will renew, reinforce and establish new connections through networking with WB institutions. Project will be realized through short-term visits of IMGGE staff to EU partner institutions, staff exchanges, on-site trainings, experimental laboratory work. Outreach activities will include PGX days, WB conference and joint summer schools. To strengthen research management capacities and administrative skills of IMGGE staff, a research management unit will be established with assistance from UPAT. As focal point of PGX translational research, IMGGE will impact on WB health-care cost benefits and facilitate WB integration to EU-PGX research area through R&I activities and digitalization.

Keywords: pharmacogenomics,population specific markers,western balkan network,digital assistant
Einstein gravity and nonlinear waves: physical models, numerical simulations and data analysis (EinsteinWaves)

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: Physics
Countries involved: Portugal,France,Denmark,Germany,Japan,Argentina,Canada
Call: MSCA Staff Exchanges 2022 (HORIZON-MSCA-2022-SE-01, 2022)
Start date: 2023-10-01
End date: 2027-09-30
Duration (months): 48.0
Total project cost (EUR): 294400.0
EU funding (EUR): 294400.0
Participants: 8
Project status: SIGNED

The study of nonlinear waves on curved geometries have been increasingly important in physics and engineering, for example to model and built more efficient and environmentally friendly materials. The difficulty in dealing with those wave equations, including the Einstein equations, led to impressive recent developments of geometry and analysis as well as powerful numerical methods requiring the highest computer power. In turn, the recent observations of the most challenging wave signals such as gravitational waves ignited unprecedented investment on experiments and data analysis. The EinsteinWaves network will allow interdisciplinary mobility and training of researchers in the new methods and techniques that will make possible previously intractable analysis relevant to current and near-future developments of computational methods and experiments. Gathering an unprecedented team of top researchers in mathematics, theoretical physics and computation, we intend to employ our expertise to provide a unique opportunity for new career development perspectives. The activities will include network courses, workshops and engagement with active cutting-edge research. EinsteinWaves is set up to integrate several existing and highly recognized annual conferences with a series of new schools and workshops including non-academic participants. Through developing invaluable analytic, computational and soft skills, researchers will develop the potential to become the next generation of European leaders in academia, industry, and the public sector. Finally, the training we offer and the research carried out, will be made open and available, boosting Europe's leadership in fields of analysis, mathematical physics and computational methods.

Keywords: general relativity,black holes,gravitational waves,data analysis,hyperbolic pdes,modelling
Fireball Luminosity Applied to probe the Meteoroid Environment (FLAME)

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

With thousands of new asteroids and comets discovered each year, the study addresses the consequences of their disintegration due to rotational fission, collisions, and cometary activity. These processes yield meteoroids, which, upon entering Earth's atmosphere, create a range of phenomena called meteors or fireballs (in the case of large impacts). As the number of space missions grows, the threat posed by meteoroid impacts increases. The objective of this research is directly relevant to safeguarding our current and future space-based infrastructure, aligning the project with European science priorities in the realm of cosmic exploration and Earth surveillance. During this project we will investigate the fireballs detected by modern digital camera networks such as FRIPON, to estimate the risk of impact according to the meteoroid size given an area and a time interval. This endeavor has started during my PhD, working on a small data set, calibrating measurements obtained by the network in Romania, and devising new techniques in analyzing this type of data. This work will shed light on the size of meteoroids which are able to generate fireballs by measuring the pre-entry mass, and accounting for observational bias. Thus, the results will improve the estimates of mass accreted by the Earth, better assess the space probes risk of colliding with different meteoroid populations, leading to proper protection. FLAME will also include a meteoroid mass forecast assigned to each meteor shower, available as an open web-based service on the Paris Observatory, IMCCE website. Moreover, the research's findings will fine-tune interdisciplinary methods like infrasound and seismic analyses to be cross-calibrated from the data obtained in this project, in order to estimate the meteoroid impact energy. Ultimately, by advancing our understanding of the meteoroid population, this study will provide the data for a more effective space navigation and development.

Keywords: meteoroids,fireballs,meteors,sattellite risk,collisions,asteroids,comets,meteorites,meteor shower,impacts,photometry,camera networks,atmospheric physics,remote sensing,bolides
Revealing Earliest Animal Domestication in the Fertile Crescent (READ)

Framework: Horizon Europe — Excellent Science
Programme: European Research Council (ERC)
Theme: European research council
Destination: Consolidator grants
Action type: ERC actions
Panel: The Study of the Human Past
Panel description: Archaeology and history
Countries involved: Spain
Call: ERC CONSOLIDATOR GRANTS (ERC-2022-COG, 2022)
Start date: 2024-01-01
End date: 2028-12-31
Duration (months): 60.0
Total project cost (EUR): 1915691.0
EU funding (EUR): 1915691.0
Participants: 1
Project status: SIGNED

Animal domestication is a key topic in Neolithic archaeological research since the early 1960s. The earliest steps of this phenomenon are, still today, very difficult to achieve. Traditional zooarchaeological analyses used to date domestication rely on detecting the appearance of genetically-driven morphological changes in animals. These morphological markers, however, if they occur at all, only appear after the process is well underway, after hundreds, if not thousands, of years, making it difficult to study them. The READ project will build an alternative approach to detect early evidences of sheep and goat management. The project will investigate the historical life-traits of the animals with a high-resolution time analysis by performing biogeochemical analyses on fossil teeth. Scientific approaches employed are not all highly innovative but their combination together with the themes addressed will involve a high-gain. This will allow reconstructing the three clue mechanisms that were pivotal in the lead up to domestication: the control of the animals’ reproductive cycles; the induced changes to their feeding habits; and the interruption of migratory-seasonal movements. The project will evaluate and compare data from what are known to be the three key regions for this research area: the Southern Levant, the Northern Levant and the Eastern Fertile Crescent. READ will analyses a set of the most important and significant available faunal assemblages for these regions and will put together a reference dataset from wild relatives available in museum collections and current living populations found in breeding centres. At the end of the project I will unravel the current unresolved paradigms on the origin of animal domesticates not relying on how the animals changed but rather what the human societies did to change the animals; revealing how early caprine management was done and where and when processes of animal domestication were initiated.

Keywords: neolithic,animal domestication,biogeochemistry,stable isotops,south west asia
Human Antibody-enabled Cardiovascular Personalized Theranosis (ABCardionostics)

Framework: Horizon Europe — Innovative Europe
Programme: The European Innovation Council (EIC)
Theme: EIC Pathfinder
Destination: Open to supporting projects in all areas of science, technology,...
Action type: EIC actions
Countries involved: France,Spain,Netherlands
Call: EIC Pathfinder Open (HORIZON-EIC-2023-PATHFINDEROPEN-01, 2023)
Start date: 2024-04-01
End date: 2028-03-31
Duration (months): 48.0
Total project cost (EUR): 3639666.25
EU funding (EUR): 3639665.75
Participants: 8
Project status: SIGNED

ABCardionostics envisions an innovative multi-marker-based positron emission tomography (PET)/ magnetic resonance imaging (MRI) system for efficient staging and personalized treatment of vulnerable patients with atherosclerosis. To provide a snapshot of plaque composition, along the arterial tree of at-risk patients, human antibodies (HuAbs) targeting different affected arterial sites will be developed. Importantly, HuAbs targeting culprit and protective monocyte/macrophage (MoMP) populations that are instrumental in plaque progression will be crucial to assess disease status and reprogramme an unbalanced functional state toward atheroprotection. To translate this concept into clinical practice, the ABCardionostics consortium will combine cutting-edge biotechnologies and in silico and computing analyses to close the knowledge gaps on plaque MoMP spatiotemporal dynamics and the lack of imaging approaches for multi-marker detection: pioneering in vivo and in vitro phage display approaches to identify relevant HuAbs (UBx), multispectral mapping and MacroScreen to unravel the functionomics of MoMP subsets in atherosclerosis (MUNC), unvisited in silico and biochip development to identify HuAb targets (MAbS, CNRS-TBI), innovative HuAb bioengineering techniques (CNRS-BacFly, and UBx-INP, BTM), derivatization and labelling to develop PET tracers to finally explore the feasibility of a translational non-invasive multi-marker PET/MRI system for diagnosis and monitoring (CNIC) and an adapted immunotherapy strategy targeted to the appropriate plaque by designing bispecific antibodies (CNRS-BacFly). Data processing will integrate multimodal images to obtain insight into plaque morphology and composition (PMI). ABCardionostics successful completion will bring HuAb leads for atherosclerosis theranosis, and novel tools for HuAb identification and design, easily transposable to other diseases, revolutionizing the current imaging and therapeutic approaches.

Keywords: atherosclerosis human antibody engineering monocyte macrophage lineage pet mri therapeutic antibody
Unravelling the Astrocytic Code: Investigating the Role of Astrocytes in Information Processing (ASTROCODE)

Framework: Horizon Europe — Excellent Science
Programme: European Research Council (ERC)
Theme: European research council
Destination: Starting grants
Action type: ERC actions
Panel: Neuroscience and Disorders of the Nervous System
Panel description: Nervous system development, homeostasis and ageing , nervous system  function and dysfunction , systems neuroscience  and modelling , biological basis of cognitive processes and of behaviour, neurological and mental disorders – In humans and all other organisms
Countries involved: Spain
Call: ERC STARTING GRANTS (ERC-2025-STG, 2025)
Start date: 2026-05-01
End date: 2031-04-30
Duration (months): 60.0
Total project cost (EUR): 1492962.0
EU funding (EUR): 1492962.0
Participants: 1
Project status: SIGNED

A major challenge in neuroscience is uncovering the mechanisms that give rise to the brain's cognitive abilities. Cognitive functions create internal representations (meaningful signals about their external environment or internal state) and perform computations on them to drive behaviours and physiological changes. Research on cognitive functions has primarily focused on neurons. Astrocytes, once seen as passive support cells, now are known to respond to and influence neuronal activity and behaviour. They have been shown to regulate circuits responsible for cognitive functions, however, it remains unclear whether they are integral elements of, or external modulators to, cognitive circuits responsible for information storage and processing. I will leverage my multidisciplinary training and recent advances to unravel the role of astrocytes in cognitive functions and determine whether astrocytes generate distinct representations carrying specific information used in circuit computations to guide behaviour. In AstroCode, I will image astrocytic activity using state-of-the-art two-photon mini-microscopes in freely moving mice performing a behavioural task involving stimuli of opposite valence to determine the specificity of the information encoded in astrocyte activity. Then, I will explore the functional specificity of astrocytic control over neuronal activity, studying the astrocytic involvement in the generation of distinct neuronal representations and in the selection of different adaptive behaviours. Moreover, I will use an innovative strategy to determine the functional role of naturally occurring astrocyte calcium signals in cognitive functions: a closed-loop stimulus-state strategy, in which sensory stimuli are delivered based on the presence of specific patterns of astrocytic activity AstroCode aims to clearly determine the astrocyte role in information processing, providing a unique strategy to advance our understanding of the brain’s cognitive mechanisms.

Keywords: astrocytes,cognitive circuits,neuronal codes,neuronal representations,systems neuroscience