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 5:30 - 8:00: Welcome reception, 319 Chase Building Saturday, October 23 8:30 - 9:00: Coffee and Breakfast 9:00 - 9:45: André Joyal (UQAM): The Koszul sign rule in Feynman diagrams 9:45 - 10:15: Michael A. Warren (Dalhousie): Combinatorial realizability models of type theory 10:20 - 10:40: Coffee Break 10:40 - 11:10: Steve Awodey (CMU): Sketch of the homotopy interpretation of intensional type theory 11:15 - 11:45: Chris Kapulkin (Pittsburgh): Pi- and Sigma-types in homotopy theoretic models of type theory 11:50 - 12:20: Peter LeFanu Lumsdaine (Dalhousie): Conservativity principles in dependent type theory: a homotopy-theoretic approach 12:25 - 2:00: Lunch 2:00 - 2:30: Jonathan Gallagher (Calgary): Differential Join Restriction Categories 2:35 - 3:05: Geoff Cruttwell (Calgary): Differential and tangent structure for restriction categories 3:10 - 3:40: Robin Cockett (Calgary): Integral categories 3:45 - 4:15: Coffee Break 4:15 - 4:45: Fred Linton (Wesleyan): How to see the reals as compact Hausdorff space, and why you'd want to 4:50 - 5:20: Susan Niefield (Union): A Double Category of Topological Spaces Sunday, October 24 8:15 - 8:45: Coffee and Breakfast 8:45 - 9:15: Alex Hoffnung (Ottawa): Groupoidification and the Hecke Bicategory 9:20 - 9:50: Aleks Kissinger (Oxford): Frobenius States and a Graphical Language for Multipartite Entanglement 9:55 - 10:25: Gábor Lukács (Manitoba): Solving problems in topological groups (and number theory) using category theory 10:30 - 10:45: Coffee Break 10:45 - 11:15: Toby Kenney (Dalhousie): Generalised Sup Arrows and the Totally Below Relation 11:20 - 11:50: Rory Lucyshyn-Wright (York): Totally Distributive Toposes, Continuous Categories, and Injective Toposes 11:55 - 12:25: Nathan Bowler (Cambridge): Unwirings and exponentiability for multicategories 12:30 - 1:00: Michael Makkai (McGill): 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/ ]