OctoberFest 08
Posted by John Baez
Canada is a great country for category theory — much better than the US, for example. One of their traditions is to have a conference on the subject every October. This year it’ll be held at Concordia University in Montreal:- OctoberFest 08, Concordia University, Montreal, October 4–5, 2008.
Saturday, 4 October - morning session | ||
9:15-9:45 | Michael Makkai | Revisiting the coherence theory for bicategories and tricategories |
9:45-10:15 | Victor Harnik | Placed composition in higher dimensional categories |
coffee break | ||
10:45-11:15 | Walter Tholen | Towards an enriched understanding of Hausdorff and Gromov metrics |
11:15-11:45 | Claudio Hermida | TBA |
11:45-12:15 | Michael Warren | Types and groupoids |
lunch | ||
afternoon session, in honour of Philip J. Scott | ||
2:00-2:30 | Pieter Hofstra | From poset to quantifier |
2:30-3:00 | Robin Cockett | Differentiation, linear matters, and other discussions from the Green Door |
3:00-3:30 | Joachim Lambek | In praise of quaternions |
coffee break | ||
4:00-4:30 | Brian Redmond | Safe recursion revisited |
4:30-4:50 | Jeffrey Morton | 2-vector spaces and finite groupoids |
4:50-5:10 | Telyn Kusalik | The Continuum Hypothesis in topos theory and algebraic set theory |
5:10-5:30 | Rory Lucyshyn-Wright | TBA |
5:30-6:00 | G. Lukacs | TBA |
6:00-6:20 | Cyrus Nourani | Functorial parallel worlds model computations |
free evening | ||
Sunday, 5 October | ||
9:00-9:30 | Noson Yanofsky | On the algorithmic informational content of categories |
9:30-10:00 | Susan Niefield | Par-valued lax functors and exponentiability |
10:00-10:30 | André Joyal | TBA |
coffee break | ||
11:00-11:30 | Gavin Seal | Kock-Zöberlein monads from monads on SET |
11:30-12:00 | Dorette Pronk | Translation groupoids and orbifold homotopy theory |
12:00-12:30 | John Kennison | Spectra for symbolic dynamics |
12:30-1:00 | Peter Freyd | TBA |
I’m very happy that my student Jeffrey Morton is talking about his work on finite groupoids and 2-vector spaces.
Re: OctoberFest 08
I can’t come. Each time I ask our administration to give me time off and funding to go to the Oktoberfest their reaction is very unsupportive…
(This is a joke. But I can’t come anyway. However, I do wonder if calling a conference “OctoberFest” is meant to sound funny, as certainly it does in one part of this world. )