FMCS09 - VANCOUVER

FMCS09 - VANCOUVER

[John MacDonald]

                               FMCS 2009
       17th Workshop on Foundational Methods in Computer Science
                 University of British Columbia, VANCOUVER, Canada
                         MAY 28th - 31st, 2009

                           SECOND ANNOUNCEMENT

                                 * * *

FMCS09 now has a website where one can reserve accommodation online.
The address is

http://www.pims.math.ca/scientific/general-event/foundational-methods-computer-science-2009


I would urge you and your students, if any are attending, to book
accommodation early since the housing office will not guarantee
booking for our group past April 28. They will, however continue to book
if space is available.

The third announcement will contain a more complete list of participants
so if you are not on the preliminary list of particpants and you will or
may attend, then please send email to johnm@math.ubc.ca with subject
heading FMCS09 - WILL ATTEND or FMCS09 - MAY ATTEND.

Preliminary List of Participants:

Robin Cockett, Computer Science
University of Calgary
Calgary, Alberta

Pieter Hofstra, Mathematics
University of Ottawa
Ottawa, Ontario

Mike Johnson, Mathematics and Computer Science
Macquarie University
Sydney, Australia

John MacDonald, Mathematics
University of British Columbia
Vancouver, British Columbia

Ernie Manes, Mathematics
University of Massachusetts
Amherst, Massachusetts


Phil Mulry, Computer Science
Colgate University
Hamilton, New York

Dorette Pronk, Mathematics
Dalhousie University
Halifax, Nova Scotia

Bob Rosebrugh, Mathematics and Computer Science
Mount Allison University
Sackville, New Brunswick

R A G Seely, Mathematics
McGill University
Montreal, Quebec

Peter Selinger, Mathematics
Dalhousie University
Halifax, Nova Scotia

Art Stone, Mathematics
Vancouver, British Columbia

Hofstra student, Ottawa, Ontario

Cockett student(s), Calgary, Alberta


The following paragraphs repeat the information from the first
announcement.

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 May 28th - 31st, 2009, on the University of British Columbia
Campus in Vancouver, Canada

The workshop is an annual informal meeting intended to bring together
researchers in mathematics and computer science. There is a focus
on the application of category theory in computer science. However, all
those who are interested in category theory or computer science are
welcome to attend.

The meeting begins with a reception at 6pm in the Ruth Blair room
in Walter Gage Towers on the UBC campus on Thursday May 28, 2009.
The scientific program starts on May 29, and consists of a day of
tutorials aimed at students and newcomers to category theory, as well as a
day and a half of research talks. The meeting ends at mid-day on May 31.

Research talks

There will be some invited presentations, but the majority of the
talks are solicited from the participants. If you wish to give a talk
please send a title and abstract to johnm@math.ubc.ca. Time
slots are limited, so please register early if you would like to be
considered for a talk.

Graduate student participation is particularly encouraged at FMCS.

Registration details will appear in the third announcement.


Previous meetings

Previous FMCS meetings were held in Pullman (1992), Portland (1993),
Vancouver (1994), Kananaskis (1995), Pullman (1996), Portland (1998),
Kananaskis (1999), Vancouver (2000), Spokane (2001), Hamilton (2002),
Ottawa (2003), Kananaskis (2004), Vancouver (2005), Kananaskis
(2006), Hamilton (2007), and Halifax (2008).

Organizing committee:

Robin Cockett (Calgary)
John MacDonald (UBC)
Phil Mulry (Colgate)
Peter Selinger (Dalhousie)

Local Organizer:

John MacDonald (UBC)