FMCS 2008
16th Workshop on Foundational Methods in Computer Science

Dalhousie University, Halifax, Canada
May 30 - June 1, 2008

Foundational Methods in Computer Science is an annual workshop bringing together researchers in mathematics and computer science with a focus on the application of category theory in computer science.

This year's meeting will be hosted in the Department of Mathematics and Statistics at Dalhousie University in Halifax, Canada.

There will be an informal welcoming reception in the evening of May 29, starting at 5:30. The scientific program starts on May 30, and consists of four 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 June 1.

Tutorial lectures

Tutorial lectures will be given by:

  • Pieter Hofstra (Ottawa)
  • Ernie Manes (Massachusetts)
  • Paul-André Melliès (Paris 7)
  • Andrea Schalk (Manchester)

Special session

There will be a special session in honor of Ernie Manes's 65th birthday. The special session organizer is Philip Mulry.


Click here for the program.

For those arriving on Thursday, there will be a welcoming reception in the Chase building, room 319. The reception will start at 5:30, and continue until 8, or as long as there are people.

There will be a dinner on Saturday night at some restaurant (to be announced). The dinner will be partially, but probably not completely, subsidized.

Information for speakers

The conference room contains a large blackboard, overhead projector, and we will provide a data projector. We will also provide a laptop with Acrobat Reader for presentation of slides in PDF format. All speakers who will use the data projector should try it out before their talk.

Location and arrival

The workshop will take place at:

Chase Building, Room 319
Department of Mathematics and Statistics
Dalhousie University
Halifax, Nova Scotia B3H 3J5

The Chase building is marked in red on this interactive map.
View Larger Map

For printing, here is a link to a Campus Map where the Chase building appears as number C280.

From the airport, the most economic way to get to Halifax is by the Halifax Airporter Shuttle. This shuttle runs many times per day and reservations are not required. The one-way fare is $18. You can get off at the Lord Nelson Hotel on Spring Garden Road (a short walk to the university; see map above). Alternatively, you can catch a taxi from the airport for $53.


We have reserved a block of rooms in Alexandra Hall at the King's College residences (marked in green on the interactive map above). The rate, including taxes, is $37.37 per night for a single room, and $56.04 for a double room. Reservations can be made by sending an e-mail to and mentioning "FMCS 2008". Here is a template you can use. It is recommended that you make your reservations by April 15 to ensure availability.

For those not wishing to stay at King's, a list of hotels and bed & breakfasts in Halifax is available.


Please register for the meeting by emailing There will be an on-site registration fee of $120 to cover meeting costs. A discounted registration fee will be offered to students and to researchers without grant.

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), and Hamilton (2007).



To receive further information about FMCS 2008, including information about housing and registration, please send email to

Peter Selinger (Dalhousie University, Halifax)
Dorette Pronk (Dalhousie University, Halifax)



Tutorial speakers:
Pieter Hofstra (Ottawa)
Ernie Manes (UMass)
Paul-André Melliès (Paris 7)
Andrea Schalk (Manchester)

Organizing committee:
Robin Cockett
John MacDonald
Phil Mulry
Dorette Pronk
Robert Seely
Peter Selinger

Local Organizers:
Dorette Pronk
Peter Selinger

Special Session Organizer:
Phil Mulry



Dalhousie University


Last updated: April 23, 2008 by Peter Selinger