We have a proposed schedule of talks for the Octoberfest meeting next weekend (4-5 Oct). Please be aware that changes may still happen, and a final schedule will be given out at the meeting itself. An html version of this document is available at the meeting website, and you can check there for any last-minute changes, as we know them. http://www.math.mcgill.ca/triples/octoberfest08.html Some talks are still "TBA" - I hope the speakers will give me titles asap! We have some abstracts - those we have will be available on the webpage (and I'll put others there as I get them). In addition, I suggest folks review the instructions on the website re location of the talks (at Concordia's Faubourg building), parking in the area (the university has indoor parking from 9am - a bit of a tight squeeze in terms of time, but possible - and there is metered parking on the streets around the area), and do check the weather (there are links to two weather sites on the webpage). -= rags =- ----------- Octoberfest08 Category Theory Octoberfest Concordia University, Montreal Saturday - Sunday, October 4 - 5, 2008 Proposed Schedule of Talks Room FGB040 (Faubourg building) Saturday, 4 October - morning session 9:15-9:45 M Makkai Revisiting the coherence theory for bicategories and tricategories 9:45-10:15 V Harnik TBA coffee break 10:45-11:15 W Tholen Towards an enriched understanding of Hausdorff and Gromov metrics 11:15-11:45 C Hermida TBA 11:45-12:15 M Warren Types and groupoids lunch afternoon session, in honour of P.J. Scott 2:00-2:30 P Hofstra From poset to quantifier 2:30-3:00 R Cockett Differentiation, linear matters, and other discussions from the Green Door 3:00-3:30 J Lambek In praise of quaternions coffee break 4:00-4:30 B Redmond Safe recursion revisited 4:40-4:50 J Morton 2-Vector Spaces and Finite Groupoids 4:50-5:10 T Kusalik The Continuum Hypothesis in topos theory and algebraic set theory 5:10-5:30 R Lucyshyn-Wright TBA 5:30-6:00 G Lukacs TBA 6:00-6:20 C Nourani Functorial parallel worlds model computations free evening Sunday, 5 October 9:00-9:30 N Yanofsky On the algorithmic informational content of categories 9:30-10:00 S Niefield Par-valued lax functors and exponentiability 10:00-10:30 A Joyal TBA coffee break 11:00-11:30 G Seal Kock-Zoberlein monads from monads on SET 11:30-12:00 D Pronk Translation groupoids and orbifold homotopy theory 12:00-12:30 J Kennison Spectra for Symbolic Dynamics 12:30-1:00 P Freyd TBA