2013 | SHy
Axe :SciLexAction commune avec iCodeCoordinateurs : Alexandre Chapoutot / Catherine Bonnet / Paolo MasonObjet du groupe de travail : Sessions d'échanges sur les diverses approches des systèmes dynamiques et hybridesProductions…
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,…
2018 | SDT: Sécurité des données textuelles
Axe : IID - ScilexCoordinateur : Cyril GROUINObjet du groupe de travail : sécurité des données textuelles contenues dans des documents ou des bases de donnéesProductions Scientifiques :En attente de…