* [HoTT] The HoTTEST Conference of 2020, June 15-19 (homotopy type theory)
@ 2020-06-12 16:04 Dan Christensen
0 siblings, 0 replies; only message in thread
From: Dan Christensen @ 2020-06-12 16:04 UTC (permalink / raw)
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
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
The talks are also listed at
On behalf of the organizers,
You received this message because you are subscribed to the Google Groups "Homotopy Type Theory" group.
To unsubscribe from this group and stop receiving emails from it, send an email to HomotopyTypeTheoryemail@example.com.
To view this discussion on the web visit https://groups.google.com/d/msgid/HomotopyTypeTheory/875zbw1d95.fsf%40uwo.ca.
^ permalink raw reply [flat|nested] only message in thread
only message in thread, other threads:[~2020-06-12 16:05 UTC | newest]
Thread overview: (only message) (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2020-06-12 16:04 [HoTT] The HoTTEST Conference of 2020, June 15-19 (homotopy type theory) Dan Christensen
Discussion of Homotopy Type Theory and Univalent Foundations
This inbox may be cloned and mirrored by anyone:
git clone --mirror http://inbox.vuxu.org/hott
# If you have public-inbox 1.1+ installed, you may
# initialize and index your mirror using the following commands:
public-inbox-init -V1 hott hott/ http://inbox.vuxu.org/hott \
Example config snippet for mirrors.
Newsgroup available over NNTP:
AGPL code for this site: git clone https://public-inbox.org/public-inbox.git