The HoTTEST Conference of 2020, June 15-19 (homotopy type theory)

[Dan Christensen <jdc@uwo.ca>]

The HoTTEST Conference of 2020 is next week, from Monday to Friday,
with two talks per day at 10:30am and 12pm EDT (UTC-4).

The Zoom link is

   https://zoom.us/j/994874377

Speakers and titles

   Brandon Doherty (University of Western Ontario)
   Cubical models of (∞,1)-categories

   Eric Finster (University of Birmingham)
   Weak structures from strict ones

   Valery Isaev (JetBrains Research and Higher School of Economics)
   Indexed type theories

   Peter LeFanu Lumsdaine (Stockholm University)
   What are we thinking when we present a type theory?

   David Jaz Myers (Johns Hopkins University)
   Higher Schreier theory

   Paige Randall North (Ohio State University)
   A higher structure identity principle

   Anja Petković (University of Ljubljana)
   Equality checking for finitary type theories

   Mitchell Riley (Wesleyan University)
   Synthetic spectra via a monadic and comonadic modality

   Mike Shulman (University of San Diego)
   Type-theoretic model toposes

   Taichi Uemura (University of Amsterdam)
   Abstract type theories

Further information, including abstracts and schedule, can be found at

   https://www.uwo.ca/math/faculty/kapulkin/seminars/hottest_conference_2020.html

The talks are also listed at

   https://researchseminars.org/seminar/HoTTEST2020

On behalf of the organizers,

Dan Christensen
Chris Kapulkin


[For admin and other information see: http://www.mta.ca/~cat-dist/ ]