Foundational Methods in Computer Science
University of Ottawa, May 30-June 1, 2003

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.

The venue will allow participants to take advantage of the "Theoretical Computer Science Month" supported by the Fields institute leading up to the LICS meeting in Ottawa.

It is planned to hold next year's meeting in the Kananaskis (Alberta).

Foundational Methods in Computer Science

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. 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).


The FMCS schedule is now available: [html, pdf, txt]


  • Michael Barr
  • Guy Beaulieu
  • Richard Blute
  • Robin Cockett
  • Jeff Egger
  • Johnathan Funk
  • Brett Giles
  • Wadii Hajji
  • Dana Harrington
  • Claudio Hermida
  • Dominic Hughes
  • Jim Lambek
  • John MacDonald
  • Ernie Manes
  • Alan Martin
  • Phil Mulry
  • Eric Paquette
  • Craig Pastro
  • Dorette Pronk
  • Anjayan Puvananathan
  • Brian Redmond
  • Keith Rogers
  • Bob Rosebrugh
  • Phil Scott
  • Robert Seely
  • Peter Selinger
  • Benoit Valiron
  • Varmo Vene
  • Richard Wood
  • Noson Yanofsky
  • Kidane Yemane


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.


Please register for the meeting by emailing Robin Cockett ( 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 ( 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 ( and include the following information:

  1. A one-page email letter stating your background as well as why you are interested in attending.
  2. The letter should also state whether you have access to any other funding to attend.
  3. An email letter of reference from your supervisor or an appropriate other person.
Preference will be given to students who wish to attend FMCS and intend to stay to attend the Fields Summer School. Applications should be made as soon as possible before the beginning of March.


Deadline: 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 and we will try to match you with another person.


Robin Cockett

Local organizer:
Richard Blute

[html, pdf, txt]

Local Information:
Local Information

Accommodations Registration

Feb 28: Student applications

Related Events in Ottawa:
June 2-20: Fields'03
June 21-27: LICS'03


Back to Logic and Foundations of Computation Group.

Last updated: by Peter Selinger