FMCS2000

[John MacDonald <johnm@math.ubc.ca>]

FMCS2000


Foundational Methods in Computer Science


JUNE 1st - 4th, 2000


The Department of Mathematics at the University of British Columbia, in
cooperation with the Pacific Institute of Mathematical Sciences, is
hosting the Foundational Methods in Computer Science workshop from
June 1 to June 4, 2000, on the University of British Columbia Campus
in Vancouver, B.C., Canada.

The workshop is an informal meeting to bring together researchers in
mathematics and computer science with a focus on the applications of
category theory in computer science.

The reception in the evening of June 1, 2000, at Walter Gage Towers, is
followed by a day of tutorials aimed at students and newcomers to category
theory, followed by a day and a half of research talks. There will be a
few invited presentations, but the majority of the talks are solicited
from the participants. Student participation is particularly encouraged
at FMCS.


PARTICIPANT LIST (as of May 26, 2000)

Jeremy Bem, University of California, Berkeley  

David Benson, Washington State University 

Robin Cockett, University of Calgary 

Bridget Gilbride, University of British Columbia

Eraldo Giuli, University of L'Aquila, Italy 

Dana Harrington, University of Calgary 

John MacDonald, University of British Columbia 

Ernest Manes, University of Massachusetts at Amherst 

Stefan Milius, York University 

Philip Mulry, Colgate University 

James Otto, Illinois 

Cristina Pedicchio, University of Trieste 

Vaughan Pratt, Stanford University 

Robert Seely, McGill University 

Peter Selinger, University of Michigan 

Lebelo Serutla, National University of Lesotho 

Robert Schneck, University of California, Berkeley 

Manuela Sobral, University of Coimbra, Portugal 

Art Stone, Vancouver 

Walter Tholen, York University 

Varmo Vene, Estonia 

Min Zeng, University of Calgary 


AGENDA

Thursday, June 1, 2000

after 3:00p.m.   Gage residence rooms available for check-in

      6:00p.m.   Welcome Reception - Mary Murrin Lounge -Gage Residence


Friday, June 2, 2000

                 Tutorial Sessions - Room 216 - 1933 West Mall

 9:00-10:30a.m.  Ernie Manes - Monads of Sets: The Threefold Way

10:30-11:00a.m.  Break

11:00-12:30p.m.  Robin Cockett - Partial Map Categories, Partial
                 Map Classification and Restriction Categories

12:30-2:00p.m.   Lunch

 2:00-3:30p.m.   Peter Selinger - Categorical Models of Communication

 3:30-4:00p.m.   Break

 4:00-4:30p.m.   John MacDonald - Kleisli structures

 4:30-5:30p.m.   David Benson - Accessible Categories and Sketches

Saturday, June 3, 2000

 9:00-10:30a.m.  Vaughan Pratt - Modeling Higher Dimensional
                 Automata with Chu Spaces

10:30-11:00a.m.  Break

11:00-11:45a.m.  Robert Seely - The Logic of Finite Sums and Products

11:45-12:30p.m.  Walter Tholen - Exponentiability

12:30-2:00p.m.   Lunch

 2:00-2:30p.m.   Stefan Milius - TBA

 2:30-3:00p.m.   Varmo Vene - Mendler-style Recursion Schemes for
                 Inductive Types

 3:00-3:30p.m.   Lebelo Serutla - Automated Handling of Grammatically
                 Incorrect Sentences in MT

 3:30-4:00p.m.   Break
 
 4:00-4:30p.m.   Jeremy Bem -"Utopias", or Categories whose Codomain Fibration
                 is Small: Another Foundation for Mathematics?

 4:30-5:30p.m.   Philip Mulry - TBA

      6:30p.m.   Banquet - Ponderosa Bldg.


Sunday, June 4, 2000

 9:00- 9:30a.m.  Eraldo Giuli - Zariski Closure and Algebraic Objects

 9:30-10:00a.m.  Manuela Sobral - Reiterman-Tholen Maps for Finite
                 Topological Spaces

10:00-10:30a.m.  Robin Cockett - TBA

10:30-11:00a.m.  Break

11:00-11:30a.m.  Dana Harrington - TBA

11:30-12:00      James Otto - Abstract and Concrete Computation Categories

12:00-12:30p.m.  Ernie Manes - Submonads Determined by Shape


Further information about FMCS2000 may be obtained from the
conference website  at  http://www.pims.math.ca/science/2000/fmcs .

You may also obtain housing and registration forms by sending email
to johnm@math.ubc.ca with subject heading FMCS2000.

Those faculty, teachers and students from the local area with some
graduate level training in mathematics or computer science or with an 
interest in logic and foundations are encouraged to attend some or all 
of the talks. If you think you may attend any of the talks, then
please send email to johnm@math.ubc.ca so that we can estimate the 
number of those attending.