HoTT/UF is a conference bringing together researchers in homotopy type theory, an emerging area which draws from cutting edge mathematics and computer science. Among conferences in the field, HoTT/UF in particular provides a platform for early career researchers to advertise their latest work and aims to facilitate new collaborations within the field.