Exploratory action AVoCat Automated Verification of CATala programs Catala is a new programming language, designed to be understood by legal experts and to follow the...
Exploratory action Back In Time Baliser l’Analyse CryptographiK de lettres anciennes grâce à l’INtelligence artifi-cielle : Technique et IMplémentation Exploratoire Get ready to uncover unexpected plots and secrets as old as time! BACK IN TIME brings together the...
Exploratory action Backbone Efficient Symbolic Manipulation for Sparse Systems We seek to explicit, and then exploit, potential structural properties of algebraic systems in order...
Exploratory action COSMOGRAM New geometric foundations for exploring the shape of the Universe - warming up The Cosmogram project aims at developing new algorithmic tools to explore the shape of the Universe...
Exploratory action DATA4US Personal DAta TrAnsparency for web USers Since May 2018, General Data Protection Regulation (GDPR) regulates collection of personal data in...
Exploratory action Define preDicting protEin Functions : wIder aNd dEeper ABS develops novel methods to study protein structure and dynamics, using computational geometry...
Exploratory action Fluidonics Seismic Waves Manipulation through Hydrodynamics Boxes What if water eddies could shield structures against seismic waves? That's the bold idea behind the...
Exploratory action GRANIER GRAvitatioNal hazards in mountaIns in the contExt of Risks prediction — Nonsmooth modeling and simulation with data in Geomechanics In this exploratory action, it is proposed to work on numerical tools for the modelling and...
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 ITHEA Computer theater The exploratory action ITHEA brings together researchers in computer science, applied arts and...
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 LearnNet Learning Networks While machine learning is revolutionizing entire sectors of the digital economy and scientific...
Exploratory action LLM4DICE Large Language Models for Detection and Correction of Errors Large Language Models (LLMs) are a hot and rapidly evolving research topic. In particular, their...
Exploratory action MARCQ Hybrid methods combining Reinforcement Learning and PDE Optimal Control methods for Quantum Computing This project pertains to quantum computing: we are interested in the possibility of encoding a logic...
Exploratory action MRF-zero Magnetic Resonance Fingerprinting sequence optimization via optimal control Magnetic Resonance Fingerprinting (MRF) is a recent technology which has the potential to become a...