From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/9850 Path: news.gmane.org!.POSTED.blaine.gmane.org!not-for-mail From: Bjorn Ian Dundas Newsgroups: gmane.science.mathematics.categories Subject: Homotopy Type Theory and Univalent Foundations conference June 2019 in Oslo Date: Mon, 4 Mar 2019 10:31:53 +0100 Message-ID: Reply-To: Bjorn Ian Dundas Mime-Version: 1.0 (Mac OS X Mail 10.3 \(3273\)) Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable Injection-Info: blaine.gmane.org; posting-host="blaine.gmane.org:195.159.176.226"; logging-data="265005"; mail-complaints-to="usenet@blaine.gmane.org" To: categories@mta.ca Original-X-From: majordomo@mlist.mta.ca Mon Mar 04 16:12:23 2019 Return-path: Envelope-to: gsmc-categories@m.gmane.org Original-Received: from smtp2.mta.ca ([198.164.44.55]) by blaine.gmane.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.89) (envelope-from ) id 1h0pGM-0016iD-BH for gsmc-categories@m.gmane.org; Mon, 04 Mar 2019 16:12:18 +0100 Original-Received: from mlist.mta.ca ([138.73.1.63]:49689) by smtp2.mta.ca with esmtp (Exim 4.80) (envelope-from ) id 1h0pGg-0003ob-31; Mon, 04 Mar 2019 11:12:38 -0400 Original-Received: from majordomo by mlist.mta.ca with local (Exim 4.71) (envelope-from ) id 1h0pFI-0000pr-M7 for categories-list@mlist.mta.ca; Mon, 04 Mar 2019 11:11:12 -0400 Precedence: bulk Xref: news.gmane.org gmane.science.mathematics.categories:9850 Archived-At: Registration for the workshop=20 Homotopy Type Theory and Univalent Foundations Oslo, Norway, 12 - 14 June 2019 Registration has opened. Go to https://cas.oslo.no/hott-uf/ Limited funding is available to partially support early-career = participants who might otherwise be unable to attend. Homotopy Type Theory and Univalent Foundations combines ideas and = techniques from algebraic topology, logic, higher categories and = computer science. As a fairly young subject it is still under dramatic = development and sees vibrant activity. =20 The workshop aims at bringing together researchers spanning the width of = the field, complementing the concurrent TYPES conference = https://cas.oslo.no/types2019/ with which it will share some plenary = sessions. List of invited speakers: =E2=80=A2 Ulrik Buchholtz =E2=80=A2 Paolo Capriotti=20 =E2=80=A2 Evan Cavallo=20 =E2=80=A2 Liron Cohen=20 =E2=80=A2 Eric Finster =E2=80=A2 Simon Huber=20 =E2=80=A2 Nicolai Kraus=20 =E2=80=A2 Paige North=20 =E2=80=A2 Christian Sattler=20 =E2=80=A2 Andrew Swan=20 =E2=80=A2 Taichi Uemura=20 =E2=80=A2 Liang Ze Wong=20 For further information, see the home page https://cas.oslo.no/hott-uf/ Hope to see you in Oslo in June! The workshop is organised jointly by the Centre for Advanced Study at = the Norwegian Academy of Science and Letters, and the University of = Bergen. Best regards. Scientific Committee: =E2=80=A2 Benedikt Ahrens (University of Birmingham) =E2=80=A2 Thierry Coquand (Chalmers University of Technology & = University of Gothenburg) =E2=80=A2 Bj=C3=B8rn Ian Dundas (University of Bergen) =E2=80=A2 Chris Kapulkin (University of Western Ontario) =E2=80=A2 Emily Riehl (Johns Hopkins University) Local organisers: =E2=80=A2 Marc Bezem (University of Bergen) =E2=80=A2 Bj=C3=B8rn Ian Dundas (chair) (University of Bergen) =E2=80=A2 Camilla K. Elmar (Centre for Advanced Study) =E2=80=A2 Erna Kas (Utrecht University)= [For admin and other information see: http://www.mta.ca/~cat-dist/ ]