Redirecting to External Site

You will now be redirected to https://video.ias.edu/VoevodskyMemConf-2018/0914-DanLicata to view video Univalence from a computer science point-of-view.