Saturday - Sunday, October 16 - 17, 2004

** Proposed Schedule of Talks
**

Room 1B45 (Burnside Hall basement)

Saturday, 16 October - morning session | ||

9:00 | M Barr | Remarks on the occasion of M Makkai's 65th birthday |

9:05-9:35 | M Makkai | The potential foundational significance of omega-categories, strict and weak |

9:40-10:10 | M Weber | Braided and symmetric higher operads |

coffee break | ||

10:45-11:15 | N Gambino | Generalised species of structures |

11:20-11:50 | J Kock | Weak units and realisation of homotopy 3-types |

12:00-12:30 | R Wood | Indexing specializes to both variation and enrichment |

lunch break | ||

afternoon session | ||

1:30-1:55 | É Paquette | Towards A Categorical Semantics For Topological Quantum Computing |

2:00-2:25 | B Valiron | A Functional Programming Language for Quantum Computation with Classical Control |

2:35-3:00 | G Beaulieu | Factorizing the Monad for Mixed Choice |

3:05-3:30 | J Egger | Linear distributivity and the Frobenius condition |

coffee break | ||

4:00-4:25 | H Forssell | Algebraic Models of Intuitionist Theories of Sets and Classes |

4:30-4:55 | M Warren | Algebraic Set Theory: Predicativity |

5:00-5:25 | W Boshuck | Remarks on higher dimensional logic |

5:30-6:00 | P Freyd | Algebraic Real Analysis: Progress Report |

social evening | ||

Sunday, 17 October | ||

9:00-9:30 | M Barr | Absolute CR-epic spaces |

9:35-10:05 | J Lambek | Free Compact 2-categories |

coffee break | ||

10:40-11:10 | J Funk | Purely Skeletal Geometric Morphisms |

11:15-11:45 | P Selinger | The CPM construction |

11:50-12:20 | R Cockett | Manifolds, Orbifolds, and beyond |

12:30-1:00 | P Freyd | Core Algebra: The Completeness Proof |

File translated from T

On 2 Oct 2004, 16:13.