[[!redirects Events]] * [[Bonn18]]: Types, Homotopy Type Theory, and Verification. [Videos of the talks are available here.](https://www.youtube.com/channel/UC2F-j2KMho0zVWIPFKWoXoA/videos/) [The Hausdorff Institute page is here.](https://www.him.uni-bonn.de/programs/current-trimester-program/types-sets-constructions/workshop-types-homotopy-type-theory-and-verification/) * [HoTT/UF](https://hott-uf.github.io/) workshops