Discussion of Homotopy Type Theory and Univalent Foundations
 help / color / Atom feed
* [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)
  To: HomotopyTypeTheory

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

-- 
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 HomotopyTypeTheory+unsubscribe@googlegroups.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, back to index

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

Archives are clonable: git clone --mirror http://inbox.vuxu.org/hott

Example config snippet for mirrors

Newsgroup available over NNTP:
	nntp://inbox.vuxu.org/vuxu.archive.hott


AGPL code for this site: git clone https://public-inbox.org/public-inbox.git