2021 | COFFY – CryptOgraphy & Formal method For privacY

Axe : ScilexCoordinateurs : Caroline Fontaine (CNRS, LMF, caroline.fontaine@lsv.fr) et Duong Hieu Phan (Telecom Paris, LTCI, hieu.phan@telecom-paris.fr )Laboratoire gestionnaire : LMFAutres laboratoires impliqués : DAVID, Inria, LIST, LIX, LMV, LTCI, SAMOVARÉquipes concernées et liste des participants (ordre…

Continuer la lecture 2021 | COFFY – CryptOgraphy & Formal method For privacY

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…

Continuer la lecture 2020 | TransForm: Transactions Formelles

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

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…

Continuer la lecture 2018 | UPSCaLe : Universality of Proofs in SaCLay

2017 | PeRSPECTiVE

Axe :ScilexCoordinateurs : Évelyne Contejean et Stéphane DemriObjectif : Le rapprochement du LSV avec VALS, permettra de constituer une masse critique d’environ 50 permanents et être l’amorce d’un pôle de…

Continuer la lecture 2017 | PeRSPECTiVE