HoTT-UF
Homotopy Type Theory and Univalent Foundations#
Centre for Advanced Study (CAS) at the Norwegian Academy of Science and Letters, Oslo, Norway, 12-14 June 2019.#
The conference website
#
Homotopy Type Theory and Univalent Foundations combines ideas and techniques from algebraic topology, logic, higher categories and computer science. As a fairly young subject it is still under dramatic development and sees vibrant activity.
The workshop aims at bringing together researchers spanning the width of the field, complementing the concurrent TYPES
![](/images/out.png)
The workshop is organised jointly by the Centre for Advanced Study (CAS)
![](/images/out.png)
![](/images/out.png)
![](/images/out.png)