Schedule - FMCS

• 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.

• 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"