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

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é

2017 | FAN: Future Access Networks

Axe : ComExCoordinateurs : Kinda KhawamObjectif : L’objectif d’un tel GT est de renforcer les collaborations entre les équipes Digicosme à travers des échanges réguliers, des co-publications, l’organisation d’événements (workshops…), mais aussi de…

Continue Reading 2017 | FAN: Future Access Networks