From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/9312 Path: news.gmane.org!.POSTED!not-for-mail From: Chris Kapulkin Newsgroups: gmane.science.mathematics.categories Subject: School and workshop on univalent mathematics, 11-15 Dec, Birmingham (UK) Date: Fri, 1 Sep 2017 14:14:52 -0400 Message-ID: Reply-To: Chris Kapulkin NNTP-Posting-Host: blaine.gmane.org Mime-Version: 1.0 Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable X-Trace: blaine.gmane.org 1504362509 6720 195.159.176.226 (2 Sep 2017 14:28:29 GMT) X-Complaints-To: usenet@blaine.gmane.org NNTP-Posting-Date: Sat, 2 Sep 2017 14:28:29 +0000 (UTC) To: categories@mta.ca Original-X-From: majordomo@mlist.mta.ca Sat Sep 02 16:28:14 2017 Return-path: Envelope-to: gsmc-categories@m.gmane.org Original-Received: from smtp2.mta.ca ([198.164.44.40]) by blaine.gmane.org with esmtp (Exim 4.84_2) (envelope-from ) id 1do9P4-0000iI-Ik for gsmc-categories@m.gmane.org; Sat, 02 Sep 2017 16:28:06 +0200 Original-Received: from mlist.mta.ca ([138.73.1.63]:57346) by smtp2.mta.ca with esmtp (Exim 4.80) (envelope-from ) id 1do9Pp-00009C-4g; Sat, 02 Sep 2017 11:28:53 -0300 Original-Received: from majordomo by mlist.mta.ca with local (Exim 4.71) (envelope-from ) id 1do9O7-0004g5-Af for categories-list@mlist.mta.ca; Sat, 02 Sep 2017 11:27:07 -0300 Precedence: bulk Xref: news.gmane.org gmane.science.mathematics.categories:9312 Archived-At: Dear all, We are pleased to announce the School and Workshop on Univalent Mathematics to be held at the University of Birmingham (UK), December 11-15, 2017. Overview ---------- Univalent Type Theory is an emerging field of mathematics that studies a fruitful relationship between homotopy theory and (dependent) type theory. This relation plays a crucial role in Voevodsky's program of Univalent Foundations, a new approach to foundations of mathematics, based on ideas from homotopy theory, such as the Univalence Principle. The UniMath library is a large repository of computer-checked mathematics, developed from the univalent viewpoint. The workshop will give many young researchers an opportunity to familiarize themselves with the UniMath library and become contributors. Format ---------- During the school/workshop, the participants will be working either individually or in small groups, mentored by experienced UniMath developers. The problems will be designed to be of practical importance in the development of the UniMath library as well as of pedagogical value to participants. Application and funding ---------- For information on how to participate, please visit https://unimath.github.io/bham2017/. The deadline to apply is October 15, 2017. Financial support is available to cover participants' travel and lodging expenses. Mentors ---------- Benedikt Ahrens (University of Birmingham) Mart=C3=ADn Escard=C3=B3 (University of Birmingham) Daniel Grayson (University of Illinois Urbana-Champaign) Joseph Helfer (Stanford University) Kuen-Bang Hou (Favonia) (Institute for Advanced Study, Princeton) Chris Kapulkin (University of Western Ontario) Peter Lumsdaine (Stockholm University) Ralph Matthes (CNRS, University Toulouse) Vladimir Voevodsky (Institute for Advanced Study, Princeton) Matthew Weaver (Princeton University) Best regards, Benedikt Ahrens and Chris Kapulkin for the organizers [For admin and other information see: http://www.mta.ca/~cat-dist/ ]