Foundational Methods in Computer Science 2009
Speakers
Details
The Department of Mathematics at the University of British Columbia, in cooperation with the Pacific Institute for the Mathematical Sciences, is hosting the Foundational Methods in Computer Science workshop from the reception starting at 6pm on Thursday May 28 until Sunday May 31, 2009, at 1pm, 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 May 28, 2009, 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.
There are still a few places on the program left for research presentations of 20 to 30 minutes.
To receive further information about FMCS 2009, including information about housing and registration, please send email to johnm@math.ubc.ca with subject heading FMCS 2009.
Additional Information
Registraton form is now available to download above.
Accommodation
A housing block at Gage Towers has been reserved under the name "Foundational Methods in Computer Science 2009" from Conferences and Accommodations.
Please follow the link HERE to reserve your hotel rooms.
Guests are also welcome to contact the UBC Reservations Office at (Toll-Free) 1 888 822 1030 to make a reservation.
Please have your guests inform the hotel staff that they are guests of Foundational Methods in Computer Science.
Should you have guests who would prefer to send their reservation requests by mail or fax, they can also use a Request for Accommodation Form (RAF). Please notify Jenny Westood (jenny.weston@ubc.ca) at your earliest onvenience if you require a copy of this form.
PARTICIPANT LIST as of 5/26/09
Robin Cockett, Computer Science
University of Calgary
Calgary, Alberta
Brett Giles, Computer Science
University of Calgary
Calgary, Alberta
Pieter Hofstra, Mathematics
University of Ottawa
Ottawa, Ontario
Aaron Hunter, Computer Science
Simon Fraser University
Burnaby, British Columbia
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
Sean Nichols, Computer Science
University of Calgary
Calgary, Alberta
Vaughan Pratt, Computer Science
Stanford University
Palo Alto, California
Dorette Pronk, Mathematics
Dalhousie University
Halifax, Nova Scotia
Brian Redmond, Computer Science
University of Calgary
Calgary, Alberta
Bob Rosebrugh, Mathematics and Computer Science
Mount Allison University
Sackville, New Brunswick
Mehrnoosh Sadrzadeh, Computer Science
Oxford University Computing Laboratory
Oxford, England
R A G Seely, Mathematics
McGill University
Montreal, Quebec
Shusaku Tsumoto, Computer Science and Medical Informatics
Shimane University
Izumo-city, Japan
Art Stone, Mathematics
Vancouver, British Columbia