Workshop on Homotopy Type Theory/ Univalent Foundations

Vienna, Austria, April 22-23, 2023

Co-located with WG6 meeting of the EuroProofNet COST action.


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.

The workshop will be held in person with some support for remote participation.


Submissions should consist of a title and an abstract of no more than 2 pages in pdf format, via EasyChair.

Considering the broad background of the expected audience, we encourage authors to include information of pedagogical value in their abstract, such as motivation and context of their work.


Registration is mandatory. Registration information will be provided shortly.

Invited speakers

Program committee


Local information


Gußhausstraße 27 - 29, 1040 Wien, Austria

4.OG, Seminarraum CH EG, Room number CD 04 04

How to get there (map).

Local information about Vienna (and how to get there).

Previous HoTT/UF Workshops