Call for Registration: HoTT/UF 2026

[Daniel Gratzer]

Call For Participation: HoTT/UF 2026

==========================================================
* 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 <https://hott-uf.github.io/2026/>.

**Organizers**
* Felix Cherubini, felix.c...@posteo.de (University of Augsburg)
* Daniel Gratzer, gra...@cs.au.dk (Aarhus University)
* Axel Ljungström, axel.lj...@nottingham.ac.uk (University of Nottingham)
* Loïc Pujet, lo...@pujet.fr (University of Strasbourg)