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 | FAN: Future Access Networks

Axe : ComEx Coordinateurs : Kinda Khawam Objectif : 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…

Continuer la lecture 2017 | FAN: Future Access Networks