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, but the talks will be streamed on this zoom link. There is no registration necessary for online participation.


Submissions should consist of a title and an abstract of no more than 2 pages (not counting the list of references) 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.


Please register by filling out the form here. Registration is mandatory for in-person participation. Online participation does not require registration.

Registration deadline: April 7, 2023

Invited speakers

Saturday: Sunday:

Contributed talks

Saturday: Sunday:

Program committee


Local information


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

Main area: 4.OG, Seminarraum CH EG, Room number CD 04 04 (ground floor)

Streaming (when not enough space): Room El 01 Petric (second floor, counting from zero)

How to get there (map).

Roadblocks: On Sunday, 23rd April 2023, is the Vienna City Marathon. Some roads are going to be closed and some forms of public transport will be unavailable. However, the ubahn (underground metro) should run smoothly during the event, so plan your route to the venue accordingly.

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

Code of Conduct

At the HoTT/UF Workshop we strive to ensure that participants enjoy a welcoming environment. We seek to foster an atmosphere that encourages the free expression and exchange of ideas. We support equality of opportunity and treatment for all participants, regardless of gender, gender identity or expression, race, color, national or ethnic origin, religion or religious belief, age, marital status, sexual orientation, or disabilities.

Harassment is a form of misconduct that undermines the integrity of HoTT/UF Workshop activities and mission. You can read more about how to understand harrasment here.

Violations may be reported confidentially to the organizers of the workshop, who will contact the Committee on Equal Treatment of TU Wien.

(Adapted from the AMS Policy Statement on Anti-Harassment.)

Previous HoTT/UF Workshops