Bonn18: Types, Homotopy Type Theory, and Verification.Videos of the talks are available here. The Hausdorff Institute page is here.
HoTT/UF workshops
Revision on July 4, 2018 at 15:08:08 by steveawodey?. See the history of this page for a list of all contributions to it.