This year's meeting on Foundational Methods
in Computer Science (FMCS 2003) will be hosted by the Logic
Group at the University of Ottawa, May 30th -- June 1st.
It is planned to hold next year's meeting in the Kananaskis (Alberta).
Foundational Methods in Computer ScienceThe 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. It is a three day meeting, which starts with a day of tutorials (Friday 30th May) aimed at students and newcomers to category theory, followed by a day and a half of research talks (Saturday, 31st May and Sunday, 1st June). There will be a series of invited presentations (TBA). The remaining research talks are solicited from the participants.
If you wish to give a talk please let us know by sending an abstract and title to Robin Cockett or Richard Blute (see e-mail address below) before the beginning of May.
Student participation at FMCS is particularly encouraged. There are limited funds to provide support for students who wish to attend the workshop (see below).
Program:The FMCS schedule is now available: [html, pdf, txt]
Slides:Here are some slides from talks given at the conference:
Local Information:Information on how to get here, how to find the classrooms, computer access etc. can be found on the Local Information web page.
Registration:Please register for the meeting by emailing Robin Cockett (firstname.lastname@example.org). Also, there will be a small on-site registration fee to cover refreshments and equipment during the meeting.
Support for graduate students:We particularly encourage graduate students to attend FMCS and to present their work. If you wish to give a presentation at FMCS you should send a title and a brief abstract to Robin Cockett (email@example.com). We would like to receive these abstracts before beginning of May so that we can arrange the schedule before the meeting itself.
Some limited funding is available to support graduate students who wish to attend the summer school and/or FMCS. To apply for this money, you should contact Richard Blute (firstname.lastname@example.org) and include the following information:
AccommodationsDeadline: April 25, 2003.
Accommodations must be reserved by using the following form:
We have reserved a certain number of on-campus accommodations (rooms in the student residences). These rooms are single rooms in a 2-bedroom suite, sharing cooking facilities. The rooms are air conditioned. For more information about the facilities, see the website of the Student Residences.
The price per suite is $99.00+tax, (so therefore the price per room is $49.50+tax).
NOTE. Unfortunately, the dormitory staff is only willing to rent out entire suites, not individual rooms. This means that each person needs to make arrangements to: either rent an entire suite, or else to share a suite with another person. It is only necessary to send one registration form per suite (you should indicate the name of the person you are sharing with on the form).
If you need help finding a person to share your suite with, you can email the local FMCS organizer at email@example.com and we will try to match you with another person.
Back to Logic and Foundations of Computation Group.