* [[Bonn18]] [Types, Homotopy Type theory, and Verification](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