The HoTTEST conference of 2020

External homepage

logic in computer science algebraic topology category theory logic

Audience: Researchers in the discipline
Conference dates: 15-Jun-2020 to 19-Jun-2020
Organizers: Dan Christensen*, Chris Kapulkin
*contact for this listing

Conference web page has Zoom link.

Upcoming talks
Past talks
Your timeSpeakerTitle
FriJun 1916:00Michael ShulmanType-theoretic model toposes
FriJun 1914:30Eric FinsterWeak structures from strict ones
ThuJun 1816:00Anja PetkovićEquality checking for finitary type theories
ThuJun 1814:30Mitchell RileySynthetic spectra via a monadic and comonadic modality
WedJun 1716:00Paige Randall NorthA higher structure identity principle
WedJun 1714:30Taichi UemuraAbstract type theories
TueJun 1616:00David Jaz MyersHigher Scheier theory
TueJun 1614:30Valery IsaevIndexed type theories
MonJun 1516:00Brandon DohertyCubical models of (∞,1)-categories
MonJun 1514:30Peter LeFanu LumsdaineWhat are we thinking when we present a type theory?
Embed this schedule
Export series to