Exploratory action JoDaIA Harnessing Data and AI for Journalism Journalism is a creative industry with strong ethical foundations. As the world surrounding us goes...
Challenge LiberAbaci The Coq proof assistant and mathematics education Computer proof tools have gained recognition in the production of reliable software and the...
Exploratory action MEGAVOLT Machine Learning and Evolution Equations A fierce scientific problem is to build a mathematical and numerical bridge between, on the one hand...
Exploratory action noCNN No-brain-shift and Comprehensive Neurosurgical Navigation (noCNN) Neuronavigation refers to the set of computer-aided technologies used by neurosurgeons to guide...
Exploratory action ProgReco Program Recognition by Machine Learning and Application to Program Optimization Program comprehension is a fundamental problem in computer science, with many applications (reverse...
Exploratory action REPAS New Portrayal of HPC Applications What is the right way to represent an application in order to run it on a highly parallel (typically...
Exploratory action StellaCage StellaCage: Geometry of plasma confinement in stellarators In collaboration with the start-up Renaissance Fusion, based in Grenoble, we explore some...
Challenge YS.AI Towards the metaverse The metaverse became a buzzword following recent announcements about massive investments on those...
Exploratory action CONTINUA Continuous deposition of paste-like materials Additive Manufacturing (AM) with paste-like materials (e.g., clay, silicon) facilitates the...
Challenge EQIP Engineering for Quantum Information Processors Building a functional quantum computer is one of the grand scientific challenges of the 21st century...
Exploratory action Equity Analytics Addressing pay equity with visual analytics The goal of this project is to explore, develop, and test pay equity visual analytics solutions in...
Exploratory action I-am The Impact of Augmented Reality on Autobiographical Memory: Examining Involuntary Memories and False Memories Although the Metaverse based on virtual reality technologies quickly raised many questions about its...
Exploratory action IMPROOF Interactive Direct Manipulation for Theorem Proving and Exploration We aim to find universal mechanisms for interactive proof development that are based on Direct...
Challenge LearnNet Learning Networks While machine learning is revolutionizing entire sectors of the digital economy and scientific...