PREREGISTRATION-EVENT

Théorie des types, mathématiques constructives et logique géométrique

Type Theory, Constructive Mathematics and Geometric Logic

From 2023-05-01 To 2023-05-05

Sign in to your account

Your email

To access the form, please type the characters below:

Sign in