Bonn18: Types, Homotopy Type Theory, and Verification. The Hausdorff Institute page is here.
HoTT/UF workshops
Revision on June 4, 2018 at 19:49:26 by steveawodey. See the history of this page for a list of all contributions to it.