Workshop on Homotopy Type Theory/ Univalent Foundations

The Internet, July 5-7, 2020

Co-located with FSCD 2020, The Internet

How to join the workshop

If you have registered in time, you will receive an email in the morning of Sunday, 5 July 2020, with a link to a Zoom meeting. If you have not received such a link, request it by sending an email to the organizers.

Videos of the talks

Available on the HoTT/UF 2020 YouTube channel.


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 is free of charge, but mandatory.

Invited speakers

Contributed talks


Program committee


Previous HoTT/UF Workshops