From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/10238 Path: news.gmane.io!.POSTED.ciao.gmane.io!not-for-mail From: Dan Christensen Newsgroups: gmane.science.mathematics.categories Subject: The HoTTEST Conference of 2020, June 15-19 (homotopy type theory) Date: Fri, 12 Jun 2020 12:04:28 -0400 Message-ID: Reply-To: Dan Christensen Mime-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable Injection-Info: ciao.gmane.io; posting-host="ciao.gmane.io:159.69.161.202"; logging-data="65135"; mail-complaints-to="usenet@ciao.gmane.io" To: Original-X-From: majordomo@rr.mta.ca Sat Jun 13 15:59:10 2020 Return-path: Envelope-to: gsmc-categories@m.gmane-mx.org Original-Received: from smtp2.mta.ca ([198.164.44.55]) by ciao.gmane.io with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.92) (envelope-from ) id 1jk6gf-000Gko-0Y for gsmc-categories@m.gmane-mx.org; Sat, 13 Jun 2020 15:59:09 +0200 Original-Received: from rr.mta.ca ([198.164.44.159]:56546) by smtp2.mta.ca with esmtp (Exim 4.80) (envelope-from ) id 1jk6g8-0003pY-UP; Sat, 13 Jun 2020 10:58:36 -0300 Original-Received: from majordomo by rr.mta.ca with local (Exim 4.92.1) (envelope-from ) id 1jk6g4-0004M0-DY for categories-list@rr.mta.ca; Sat, 13 Jun 2020 10:58:32 -0300 Precedence: bulk Xref: news.gmane.io gmane.science.mathematics.categories:10238 Archived-At: 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 (=E2=88=9E,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=C4=87 (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/ ]