From: Dan Christensen <jdc@uwo.ca>
To: HomotopyTypeTheory@googlegroups.com
Subject: [HoTT] The HoTTEST Conference of 2020, June 15-19 (homotopy type theory)
Date: Fri, 12 Jun 2020 12:04:54 -0400 [thread overview]
Message-ID: <875zbw1d95.fsf@uwo.ca> (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
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.
reply other threads:[~2020-06-12 16:05 UTC|newest]
Thread overview: [no followups] expand[flat|nested] mbox.gz Atom feed
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=875zbw1d95.fsf@uwo.ca \
--to=jdc@uwo.ca \
--cc=HomotopyTypeTheory@googlegroups.com \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).