Invited Speakers Paolo Capriotti Darmstadt University of Technology Globular Models of Type Theory Evan Cavallo Carnegie Mellon University Cubical Indexed Inductive Types Eric Finster University of Birmingham The Cotopological Tower Tslil Clingman Johns Hopkins University Towards proof relevant category theory, as modelled by globular T-categories Simon Huber University of Gothenburg Homotopy Canonicity for Cubical Type Theory Nicolai Kraus Eötvös Loránd University Quotienting by Directed Relations Paige North Ohio State University Directed Weak Factorization Systems for Type Theory Christian Sattler University of Gothenburg Homotopy Canonicity Andrew Swan University of Amsterdam Separating Path Types and Identity Types Taichi Uemura University of Amsterdam Cubical Assembly Models of Homotopy Type Theory Liang Ze Wong University of Washington A co-reflection of cubical sets into simplicial sets