Loading...
 
[Show/Hide Left Column]

UPSCaLe : Universality of Proofs in SaCLay

 

Axe : SciLex
Coordinateur : Chantal Keller
Objectif : Utiliser les preuves comme protocoles de communication entre systèmes de preuves
Financement Labex : 2017

Les réunions du GT sont ouvertes à tous ! Si vous ne faites pas partie du GT UPSCaLe, merci de préciser votre venue à Chantal Keller.

UPSCALE presentation

Scientific day


Seminars

Mailing list of the GT