!!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|https://cas.oslo.no/hott-uf]
\\
__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|https://cas.oslo.no/types2019] conference with which it will share some plenary sessions.
\\ \\
The workshop is organised jointly by the [Centre for Advanced Study (CAS)|https://cas.oslo.no] at the [Norwegian Academy of Science and Letters|http://english.dnva.no] and the [University of Bergen (UiB)|https://www.uib.no]. With financial support from [Academia Europaea Knowledge Hub Region Bergen|Acad_Main/About_us/Knowledge_Hubs].
\\ \\
----
\\ \\ 
%%columns-130;130;
[{Image src='CAS-LOGO.jpg' caption='' height='100' alt='CAS-LOGO.jpg'}]
----
[{Image src='UiB_Bergen.jpg' caption='' height='100' alt='UiB_Bergen.jpg'}]
----
[{Image src='AE-logo-main-02_cropped.jpg' caption='' height='180' alt='AE-logo-main-02_cropped.jpg'}]
%%