FMCS '03: preliminary program and call for participation

FMCS '03: preliminary program and call for participation

[Robin Cockett]

                FOUNDATIONAL METHODS IN COMPUTER SCIENCE
                           (FMCS 2003)

                     May 30 - June 1, Ottawa, Canada

We are happy to announce the preliminary schedule for FMCS 2003 (see
below).

For Local Information Contact: Rick Blute
     Dept. of Mathematics & Statistics,
     University Ottawa, 613-562-5800, ext. 3535.

The FMCS webpage (in process of being updated) is:
     http://www.mathstat.uottawa.ca/lfc/fmcs2003/


The Fields Institute Summer Program continues from the FMCS theme for
the month of June, culminating in Fields Workshops (June 15--June 20), and
LICS & workshops (June 20-27).  For more information these are the webpages:
     http://www.mathstat.uottawa.ca/lfc/fields2003/
     http://www.dcs.ed.ac.uk/home/als/lics/lics03/

=======================================================================
		     Preliminary 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.     Robert Seely: "Double negation coherence"
  - 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: TBA
  - 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.	 Robin Cockett: "Circular proofs: once more round the block"
  - 3:30-4:10.	 Jim Lambek: "PERS and Exact Completions"

=============================================================================