Registration is open at https://types22.sciencesconf.org/registration/, with early registration until June 1st 2022 included. Registration is mandatory to attend in person the TYPES meeting and the (free) EuroProofNet workshops on June 24th and 25th.
Registration
-
Sponsors
