PREREGISTRATION-EVENT
Interface entre les modèles et les formalismes des théories des types
Interfacing models and formalizations of type theories
From 2027-03-22 To 2027-03-26
PREREGISTRATION-EVENT
From 2027-03-22 To 2027-03-26