Suite à la sélection des projets par le DIM RFSI dans le cadre de l'appel à projet 2021.

Voici la liste de projets qui ont été retenus :

LICENCED : Linear Codes Enabling Computation over Enrypted Data porté par Geoffroy COUTEAU.

Algorithmes symboliques-numériques pour une méthode holonome des moments porté par Jérémy Berthomieu et Pierre Lairez.

DAB : Distributed Algorithms in Birth-Death Systems porté par Matthias Fugger, Manish Kushwaha et Thomas Nowak.

Architectures neuronales linguistiquement motivées pour le traitement automatique des langues porté par Caio Corro et Nadi Tomeh.

RC-TENSOR : Reducing Communication in Parallel Sparse Tensor Algorithms through Mixed Precision and Data Compression Techniques porté par Oguz Kaya, Marc
Baboulin et Theo Mary.

Syntaxe parallèle et sémantique interactive de la recherche de preuve : vers une approche unifiant la programmation logique et programmation fonctionnelle porté par Luc Pellissier et Alexis Saurin

13ème colloque sur la Modélisation des Systèmes réactifs (MSR2021) porté par Kamel Barkaoui.

École de médiation scientifique en informatique et mathématiques porté par Pierre Paradinas.

Video Multiple Style Transfer in a railway setting porté par Vicky Kalogeiton.

Convergence porté par Francis Hulin-Hubard, Fabrice Kordon et Frédéric Magniez.


Voir toutes les actualités…