FMCS2000

FMCS2000

[John MacDonald]

			First Announcement			

			    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
on June 1st - 4th, 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 application 
of category theory in computer science. It is a three day meeting, 
that starts off with 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 series of invited presentations
(TBA). The remaining research talks are solicited from the
participants. Student participation is particularly encouraged
at FMCS.

To receive further information about FMCS2000 as it becomes
available, including information about housing and registration,
please send email to johnm@math.ubc.ca with subject heading
FMCS2000.

John MacDonald
Local organizer, FMCS2000

FMCS2000

[John MacDonald]

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.

FMCS2000

[John MacDonald]

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 1, 2000)


Jeremy Bem, University of California, Berkeley

David Benson, Washington State University

Robin Cockett, University of Calgary

Adam Eppendahl, Queen Mary and Westfield College, London

Hongge Gao, Northeastern University

Michael Johnson, Macquarie University, Sydney

John MacDonald, University of British Columbia

Ernest Manes, University of Massachusetts at Amherst

Stefan Milius, York University

Philip Mulry, Colgate University

Cristina Pedicchio, University of Trieste

Vaughan Pratt, Stanford University

Robert Schneck, University of California, Berkeley

Robert Seely, McGill University

Peter Selinger, University of Michigan

Lebelo Serutla, National University of Lesotho

Tim Sheard, Oregon Graduate Institute

Manuela Sobral, University of Coimbra, Portugal

Art Stone, Vancouver

Walter Tholen, York University

Varmo Vene, Estonia

Richard Wood, Dalhousie University



Please note that not all of the individuals on the participant list have
been confirmed.

There still are a few places on the program for research presentations
of 20 to 30 minutes. Reduced accommodation and registration rates are
available to graduate student participants.

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.

If you are planning to attend (or might attend) the conference and your name
is not on the above list, then please let me know. That way I can keep track
of how many people will be attending and also keep you updated.


John MacDonald
Local organizer, FMCS2000