========================================================== * Registration deadline: 15 May 2026 (AoE) Workshop on Homotopy Type Theory and Univalent Foundations 01-02 June, Aarhus Denmark https://hott-uf.github.io/2026/ ========================================================== Homotopy Type Theory is a young area of logic, combining ideas from several established fields: the use of dependent type theory as a foundation for mathematics, inspired by ideas and tools from abstract homotopy theory. Univalent Foundations are foundations of mathematics based on the homotopical interpretation of type theory. The goal of this workshop is to bring together researchers interested in all aspects of Homotopy Type Theory/Univalent Foundations: from the study of syntax and semantics of type theory to practical formalization in proof assistants based on univalent type theory. ================ # Registration Please register by filling out this form: https://forms.gle/iX7sEwg2NBu2ZpzL8 Registration is mandatory. Registration deadline: 15 May 2026. **Invited speakers** * Stefania Damato (Eötvös Loránd University, Hungary) * Andrew Swan (University of Ljubljana) * Hugo Moeneclaey (University of Gothenburg and Chalmers University) **Program committee** See >. **Organizers** * Felix Cherubini, felix.cherubini@posteo.de (University of Augsburg) * Daniel Gratzer, gratzer@cs.au.dk (Aarhus University) * Axel Ljungström, axel.ljungstrom@nottingham.ac.uk (University of Nottingham) * Loïc Pujet, loic@pujet.fr (University of Strasbourg) You're receiving this message because you're a member of the Categories mailing list group from Macquarie University. To take part in this conversation, reply all to this message. View group files<https://outlook.office365.com/groups/groupsubscription?source=EscalatedMessage&action=files&smtp=categories%40mq.edu.au&bO=true&GuestId=6bf90c14-94d1-45b7-a0b5-9dd447734d27> | Leave group<https://outlook.office365.com/groups/groupsubscription?source=EscalatedMessage&action=leave&smtp=categories%40mq.edu.au&bO=true&GuestId=6bf90c14-94d1-45b7-a0b5-9dd447734d27> | Learn more about Microsoft 365 Groups<https://aka.ms/o365g>