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...
Exploratory action KoopduMonde Koopman operator modelling of nonlinear dynamical systems for ensemble methods The so-called "ensemble-based" prevision methods in oceanography and meteorology use an ensemble of...
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 META4QIP Coding the Future : Metasurface for Quantum Information Processing Metasurfaces are flat structures that possess extraordinary abilities to manipulate light in ways...
Challenge OcéanIA Artificial Intelligence, Data, and Models for Understanding Oceans and Climate Change There is strong scientific evidence on the adverse effects of climate change on the global ocean...
Exploratory action POPEG Wave propagation using Gaussian states Galerkin methods can numerically approximate time-harmonic waves by combining "basis functions"...
Challenge ROAD-AI Toward smart Augmented & Integrated Roads and infrastructures Integrated management of infrastructure assets is an approach which aims at reconciling long-term...
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 AEROTouch AErial RObots with the sense of Touch Get ready for a revolution in drone technology! Aerial robots, commonly known as "drones," will be...
Exploratory action DATA4US Personal DAta TrAnsparency for web USers Since May 2018, General Data Protection Regulation (GDPR) regulates collection of personal data in...
Challenge DORNELL A multimodal, shapeable haptic handle for mobility assistance of people with disabilities While technology helps people to compensate for a broad set of mobility impairments, visual...
Exploratory action ECOPTICS Visual Appearance Modeling for Behavioral Ecology The ECOPTICS project ambition to bring new tools that help unravel some of the mysteries found in...
Exploratory action ExODE Scaling the solving of Ordinary Differential Equation for Computational Biology In biology, the vast majority of systems can be modeled as ordinary differential equations (ODEs)...
Challenge FedMalin Federated MAchine Learning over the INternet (FedMalin) In many use-cases of Machine Learning (ML), data is naturally decentralized: medical data is...