Skip to main content

Registration for the Workshop on Homotopy Type Theory (February 10 - 14, 2016)

Submissions for this form are closed.

The following information is needed from every participant to justify our expenses and secure the funding for future conferences. We also need it for the official invitation letter. You will not need to provide this information again during the conference.

© MPI f. Mathematik, Bonn Impressum & Datenschutz
-A A +A