From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/3437 Path: news.gmane.org!not-for-mail From: Erik Palmgren Newsgroups: gmane.science.mathematics.categories Subject: Workshop on Identity Types Date: Wed, 27 Sep 2006 15:24:07 +0200 (CEST) Message-ID: NNTP-Posting-Host: main.gmane.org Mime-Version: 1.0 Content-Type: TEXT/PLAIN; CHARSET=ISO-8859-1; FORMAT=flowed Content-Transfer-Encoding: quoted-printable X-Trace: ger.gmane.org 1241019303 8731 80.91.229.2 (29 Apr 2009 15:35:03 GMT) X-Complaints-To: usenet@ger.gmane.org NNTP-Posting-Date: Wed, 29 Apr 2009 15:35:03 +0000 (UTC) To: categories@mta.ca Original-X-From: rrosebru@mta.ca Wed Sep 27 14:37:03 2006 -0300 Return-path: Envelope-to: categories-list@mta.ca Delivery-date: Wed, 27 Sep 2006 14:37:03 -0300 Original-Received: from Majordom by mailserv.mta.ca with local (Exim 4.61) (envelope-from ) id 1GSdCJ-0005D2-2X for categories-list@mta.ca; Wed, 27 Sep 2006 14:27:51 -0300 Content-ID: Original-Sender: cat-dist@mta.ca Precedence: bulk X-Keywords: X-UID: 27 Original-Lines: 49 Xref: news.gmane.org gmane.science.mathematics.categories:3437 Archived-At: Identity Types - Topological and Categorical Structure Workshop, November 13-14, 2006, Uppsala University. The identity type, the type of proof objects for the fundamental propositional equality, is one of the most intriguing constructions of intensional dependent type theory (also known as Martin-L=F6f type theory). Its complexity became apparent with the Hofmann-Streicher groupoid model of type theory. This model also hinted at some possible connections between type theory and homotopy theory and higher categories. Exploration of his connection is intended to be the main theme of this workshop. Preliminary list of speakers Steve Awodey (Pittsburgh) Peter Dybjer (G=F6teborg) Richard Garner (Uppsala) Martin Hyland (Cambridge, to be confirmed) Per Martin-L=F6f (Stockholm) Thomas Streicher (Darmstadt) Michael A Warren (Pittsburgh) A final list of speakers will be prepared shortly before the workshop. If you are interested in giving a talk, please submit a short abstract to the organiser before October 25. The working days of the meeting are November 13 and November 14 until noon. Organiser: Erik Palmgren, Uppsala University, email: palmgren@math.uu.se Venue: Uppsala University, Polacksbacken, L=E4gerhyddsv=E4gen 1-2, Uppsala, Sweden. Accomodation is expected to be arranged by the participants themselves. See the workshop webpage for a list of recommended hotels and further information. Workshop webpage: www.math.uu.se/~palmgren/itt