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"
  - 3:30-4:10.	 Jim Lambek: "PERS and Exact Completions"