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

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…

Continue Reading 2017 | PeRSPECTiVE

2015 | Combinatoire

Axe:SciLex 2Coordinateur :Vincent Pilaud, CNRS & LIX, École PolytechniqueObjectif : exposés scientifiques sur des thèmes de combinatoire énumérative, géométrique et algébrique.Productions Scientifiques :Financement Labex en : 2015 et 2017 Documents…

Continue Reading 2015 | Combinatoire

2015 | SaSeFor

Méthodes FormellesAxe: SciLex Coordinateur : Hubert Comon Lundh, LSV, ENS Cachan Objectif : Productions Scientifiques : Financement Labex en : 2014/2015 Documents : lien vers rapport 2014 lien vers rapport 2015…

Continue Reading 2015 | SaSeFor

2014 | ELFIC

Programmes d’éléments finis formellement vérifié Axe:SciLex 2&3Coordinatrice :Sylvie Boldo, InriaObjectif : Preuve de correction de la bibliothèque FELiScE implantant la méthode des éléments finis pour la résolution numérique d'équations aux dérivées…

Continue Reading 2014 | ELFIC