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

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.