2021 | COFFY – CryptOgraphy & Formal method For privacY

Axe: ScilexCoordinators: Caroline Fontaine (CNRS, LMF, caroline.fontaine@lsv.fr) et Duong Hieu Phan (Telecom Paris, LTCI, hieu.phan@telecom-paris.fr )Laboratory: LMFOther laboratories involved: DAVID, Inria, LIST, LIX, LMV, LTCI, SAMOVARInvolved teams (alphabetical order): DAVID EPI PETRUS, LIST (CEA) crypto group, LIX…

Continue Reading 2021 | COFFY – CryptOgraphy & Formal method For privacY

2018 | UPSCaLe : Universality of Proofs in SaCLay

Axe : SciLexCoordinateur : Chantal KellerObjectif : Utiliser les preuves comme protocoles de communication entre systèmes de preuvesFinancement Labex : 2017 Les réunions du GT sont ouvertes à tous ! Si vous ne faites…

Continue Reading 2018 | UPSCaLe : Universality of Proofs in SaCLay

2020 | TransForm: Transactions Formelles

Axe : Scilex Coordinateurs : Évelyne Contejean, LRI, équipe VALS Stefania Dumbrava, ENSIIE & Samovar Laboratoire gestionnaire : LRI Autres laboratoires impliqués : SAMOVAR Équipes concernées et liste des participants…

Continue Reading 2020 | TransForm: Transactions Formelles

2019 | Algo: Algorithmique et complexité du Plateau de Saclay

Axe : ScilexCoordinateurs : Olivier BOURNEZ (LIX, Ecole Polytechnique, Institut Polytechnique de Paris) et Arpad RIMMEL (LRI, Université Paris Sud, Université Paris-Saclay).Laboratoire gestionnaire : LIXAutres laboratoires impliqués : DAVID, IBISC,…

Continue Reading 2019 | Algo: Algorithmique et complexité du Plateau de Saclay

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,…

Continue Reading 2020 | vrAI: FOrmal VeRification and AI

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…

Continue Reading 2017 | Groupe de Travail E-Santé