nLab Homotopy Type Theory Electronic Seminar Talks

Contents

Idea

The Homotopy Type Theory Electronic Seminar Talks, abbreviated as HoTTEST, is a series of talks on various topics related to homotopy type theory and dependent type theory more generally, run by Carlo Angiuli, Dan Christensen, Chris Kapulkin, and Emily Riehl.

List of Talks

Spring 2018

Autumn 2018

Spring 2019

Autumn 2019

Spring 2020

Autumn 2020

Spring 2021

Autumn 2021

Spring 2022

Autumn 2022

Spring 2023

See also

category: reference

Last revised on June 13, 2023 at 17:38:18. See the history of this page for a list of all contributions to it.