Octoberfest schedule

[selinger@mathstat.dal.ca (Peter Selinger)]

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/ ]