2017 | Groupe de Travail E-Santé

Axe : DataSence Coordinateur : Mehdi Ammi Domaines: TIC et Santé Financement Labex : 2017 Présentation L’augmentation et le vieillissement de la population, les bouleversements climatiques, mais également les mouvements…

Continuer la lecture 2017 | Groupe de Travail E-Santé

2020 | vrAI: FOrmal VeRification and AI

Axe : IID, Scilex Coordinateurs : Guillaume Charpiat, équipe TAU, LRI / INRIA Saclay Zakaria Chihani, équipe LSL, CEA-List/Saclay Laboratoire gestionnaire : Inria SIF Autres laboratoires impliqués : LIST, LRI,…

Continuer la lecture 2020 | vrAI: FOrmal VeRification and AI