From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/6324 Path: news.gmane.org!not-for-mail From: selinger@mathstat.dal.ca (Peter Selinger) Newsgroups: gmane.science.mathematics.categories Subject: Octoberfest schedule Date: Mon, 18 Oct 2010 09:21:43 -0300 (ADT) Message-ID: Reply-To: selinger@mathstat.dal.ca (Peter Selinger) NNTP-Posting-Host: lo.gmane.org Mime-Version: 1.0 Content-Type: text/plain; charset=utf8 Content-Transfer-Encoding: quoted-printable X-Trace: dough.gmane.org 1287433406 5978 80.91.229.12 (18 Oct 2010 20:23:26 GMT) X-Complaints-To: usenet@dough.gmane.org NNTP-Posting-Date: Mon, 18 Oct 2010 20:23:26 +0000 (UTC) To: categories@mta.ca (Categories List) Original-X-From: majordomo@mlist.mta.ca Mon Oct 18 22:23:24 2010 Return-path: Envelope-to: gsmc-categories@m.gmane.org Original-Received: from smtpx.mta.ca ([138.73.1.114]) by lo.gmane.org with esmtp (Exim 4.69) (envelope-from ) id 1P7wEp-00075W-FM for gsmc-categories@m.gmane.org; Mon, 18 Oct 2010 22:23:19 +0200 Original-Received: from mlist.mta.ca ([138.73.1.63]:56483) by smtpx.mta.ca with esmtp (Exim 4.71) (envelope-from ) id 1P7wBp-0002f9-JM; Mon, 18 Oct 2010 17:20:13 -0300 Original-Received: from majordomo by mlist.mta.ca with local (Exim 4.71) (envelope-from ) id 1P7wBl-0007iV-7A for categories-list@mlist.mta.ca; Mon, 18 Oct 2010 17:20:09 -0300 Precedence: bulk Xref: news.gmane.org gmane.science.mathematics.categories:6324 Archived-At: Dear colleagues, titles, abstracts, and a tentative program for this weekend's Octoberfest are now available at the website: http://www.mathstat.dal.ca/~selinger/ofest2010/ The schedule (subject to minor changes) also appears below. -- Peter * * * 2010 Category Theory "Octoberfest" Workshop Dalhousie University, Halifax, Canada October 23-24, 2010 http://www.mathstat.dal.ca/~selinger/ofest2010/ Draft Program Friday, October 22 =20 5:30 - 8:00: Welcome reception, 319 Chase Building =20 =20 Saturday, October 23 =20 8:30 - 9:00: Coffee and Breakfast =20 =20 9:00 - 9:45: Andr=C3=A9 Joyal (UQAM):=20 The Koszul sign rule in Feynman diagrams =20 9:45 - 10:15: Michael A. Warren (Dalhousie):=20 Combinatorial realizability models of type theory =20 =20 10:20 - 10:40: Coffee Break =20 =20 10:40 - 11:10: Steve Awodey (CMU):=20 Sketch of the homotopy interpretation of intensional type theory 11:15 - 11:45: Chris Kapulkin (Pittsburgh):=20 Pi- and Sigma-types in homotopy theoretic models of type theory 11:50 - 12:20: Peter LeFanu Lumsdaine (Dalhousie):=20 Conservativity principles in dependent type theory: a homotopy-theoretic approach =20 12:25 - 2:00: Lunch =20 =20 2:00 - 2:30: Jonathan Gallagher (Calgary):=20 Differential Join Restriction Categories =20 2:35 - 3:05: Geoff Cruttwell (Calgary):=20 Differential and tangent structure for restriction categories 3:10 - 3:40: Robin Cockett (Calgary):=20 Integral categories =20 =20 3:45 - 4:15: Coffee Break =20 =20 4:15 - 4:45: Fred Linton (Wesleyan):=20 How to see the reals as compact Hausdorff space, and why you'd want to 4:50 - 5:20: Susan Niefield (Union):=20 A Double Category of Topological Spaces =20 =20 Sunday, October 24 =20 8:15 - 8:45: Coffee and Breakfast =20 =20 8:45 - 9:15: Alex Hoffnung (Ottawa):=20 Groupoidification and the Hecke Bicategory =20 9:20 - 9:50: Aleks Kissinger (Oxford):=20 Frobenius States and a Graphical Language for Multipartite Entanglement 9:55 - 10:25: G=C3=A1bor Luk=C3=A1cs (Manitoba):=20 Solving problems in topological groups (and number theory) using category theory =20 10:30 - 10:45: Coffee Break =20 =20 10:45 - 11:15: Toby Kenney (Dalhousie):=20 Generalised Sup Arrows and the Totally Below Relation =20 11:20 - 11:50: Rory Lucyshyn-Wright (York):=20 Totally Distributive Toposes, Continuous Categories, and Injective Toposes 11:55 - 12:25: Nathan Bowler (Cambridge):=20 Unwirings and exponentiability for multicategories =20 12:30 - 1:00: Michael Makkai (McGill):=20 Semi-Strict Omega Categories Location The workshop will take place in the Chase building on Dalhousie's main campus. Maps are available on the website. Sponsors: We gratefully acknowledge financial support from: * The Atlantic Association for Research in Mathematical Sciences (AARMS) * The Administration of Dalhousie University * The Faculty of Science of Dalhousie University Organizers: Dorette Pronk (Dalhousie), pronk@mathstat.dal.ca Peter Selinger (Dalhousie), selinger@mathstat.dal.ca * [For admin and other information see: http://www.mta.ca/~cat-dist/ ]