# Schedule - FMCS

**Location:**
- Day 1 talks (Friday, May 30th): Lamoureux 121.
- Day 2, 3 talks: To be held at the Department of Mathematics and
Statistics, 585 King Edward St., Room B5.

**Schedule**
- Day 1-Friday, May 30th-
**Tutorials** (in Lamoureux 121)
- 9:30-11. Rick Blute: "Nuclear ideals"
- 11-11:30. Break
- 11:30-1. Richard Wood: "Completely distributive lattices"
- 1-2:30. Lunch.
- 2:30-4. Michael Barr: "Introduction to $*$-autonomous categories and
the Chu construction"
- 4-4:30. Break
- 4:30-6. Dominic Hughes: "Extending Proof nets to products and sums"

- Day 2-Saturday, May 31st-
**Tutorial, contributed talks and
invited lectures**
- 9-10:30. Ernie Manes: "Cockett-Lack restriction:
Categories, semigroups and topology"
- 10:30-11. Break.
- 11-11:40. Phil Mulry: "Monad compositions and comprehensions"
- 11:40-12:20. Varmo Vene: "The dual of substitution is redecoration"
- 12:30-2. Lunch
- 2-2:40. Bob Rosebrugh: "Partial information and the
sketch data model"
- 2:45-3:15 Jeff Egger: "Adherence Spaces"
- 3:20-3:50. Craig Pastro: "$\Sigma/\Pi$-polycategories"
- 3:50-4:20. Break
- 4:20-5:00. Dorette Pronk: ``Nuclear ideals and Segal's definition of
conformal field theory''.
- 5:05-5:45. John MacDonald: ``Parameters and Kleisli Structures''

- Day 3-Sunday, June 1st
- 9-9:40. Noson Yanofsky: "On paradoxes, incompleteness
and fixed points"
- 9:45-10:15. Dana Harrington: "Coherence for uniqueness
types"
- 10:20-10:50. Brett Giles: An implementation of Selinger's
quantum programming language"
- 10:50-11:20. Break.
- 11:20-11:50. Guy Beaulieu: Probabilistic Pi-Calculi
- 11:55-12:35. Claudio Hermida: "Saturated partial
algebras"
- 12:35-2. Lunch
- 2-2:40. Jonathon Funk: "Rough Sets and Topos
Theory"
- 2:45-3:25. Robert Seely: "Double negation coherence"
the block"
- 3:30-4:10. Jim Lambek: "PERS and Exact Completions"