Foundational Methods in Computer Science 2006
University of Calgary, June 7th - 9th, 2006

The Department of Computer Science at the University of Calgary is hosting the Foundational Methods in Computer Science workshop from Wednesday 7th June to Friday 9th June, 2004 at the Kananaskis Field Stations in Alberta, 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 morning sessions of the meeting will be devoted to tutorials.  The following people have agreed to give a tutorial:

Research talks

The evening sessions of the meeting will accomodate research talks. If you wish to give a talk please let us know by sending a title and abstract to Robin Cockett or Pieter Hofstra before Friday 21st May when the schedule will be arranged.

Student participation at FMCS is particularly encouraged. There are limited funds to provide support for students who wish to attend the workshop (see below).

Travel and accommodation

If you are planning to attend FMCS please try to arrive at the University of Calgary before 5:00pm  (if you are flying in that day plan to arrive aat the airport on Tuesday 6rd June before 4:00PM (MST)). There will be a last shuttle to the Kananaskis field stations leaving the University at 6:00PM.

There will be an informal reception for participants at the field stations starting at 7:00PM Tuesday 6th June.

Participants will be housed on site: the registration fee ($300 for non-students and $250 for students) will include accommodation and meals.

On Friday 9th June at 2:00PM there will be a shuttle service back to Calgary (arriving at approximately 3:00PM).


Please register for the meeting by emailing Robin Cockett or Pieter Hofstra (there are only one or two places left at this stage). There will be an on-site registration fee of $300. This will cover accommodation, meals, meeting costs, and transport.

Support for graduate students

We particularly encourage graduate students to attend FMCS and to present their work. Some limited funding is available to support graduate students who wish to attend FMCS. To apply for this funding you should contact Robin Cockett and include the following information:

All applications must be received by Friday 7th May. We will contact people shortly thereafter.

Past meetings

Past meetings have been held in Ottawa, Hamilton, Spokane, Vancouver, Kananaskis, Portland...

CMS Summer 2006 Meeting and workshop on categories and semigroups

This year, the FMCS meeting immediately follows the Summer 2006 meeting of the Canadian Mathematical Society. Click here for general information about this meeting, and here for information about the Category Theory session. On June 2nd, there will be a one-day workshop on category theory and semigroup theory. Click here for more information.

Questions, comments, web page does not work

Please email Pieter Hofstra.