FMCS 2013
21st Workshop on Foundational Methods in Computer Science

Mount Allison University, Sackville, Canada
May 31st-June 3rd, 2013

Foundational Methods in Computer Science is an annual workshop that brings together researchers in theoretical computer science and category theory, and in the past has met in Halifax, Ottawa, Calgary, Vancouver, Spokane, and Portland. It has been the source for fruitful colloboration and presentation of results related to these areas. Recent workshops have had discussions on areas such as quantum programming languages, restriction categories, database design, and the differential and resource lambda-calculi. This year's meeting will be hosted in the Department of Mathematics and Computer Science at Mount Allison University in Sackville, Canada.

There will be an informal welcoming reception in the evening of May 31st, starting at 5:30. The scientific program starts on June 1st, and consists of tutorials, invited talks, and contributed talks. There will be an excursion on one of the afternoons. The meeting ends on the afternoon of June 3rd.

Invited lectures and tutorials will be given by:

  • Joachim Kock (Barcelona)
  • Ernie Manes (Massachusetts)
  • Eugenio Moggi (Genoa)
  • Michael Shulman (Institute for Advanced Study)

Pictures from the workshop (thanks to Brett Giles)

Slides from the workshop


  • Program: (updated May 24th) [pdf] (see here for associated campus map)
  • Abstracts (updated May 24th): [pdf].
  • List of Attendees: [txt].

There are several possibilites for accomodation while staying in Sackville:
  • We have reserved a block of rooms on-campus. To reserve one, contact and mention that you are staying for the FMCS workshop.
  • There are single rooms available for $39 CDN/night and double rooms for $59 CDN/night.
  • If you prefer hotel accomodation, we have also reserved a block of rooms at The Coastal Inn, which is located about 10-15 minutes walk from campus. Be sure to mention that you are staying for the FMCS workshop. The rate is $102 CDN/night, and you must book by May 6th.
  • The Marshlands Inn and Savoy Arms are more upscale accomodation; both are about 10 minutes walk from campus. Be sure to book early if you wish to stay at either of these locations.
  • For those with cars, the Wandlyn Inn is another option, as it is only a 15 minute drive from Sackville.


There are two possibilites for the excursion on Sunday:
  1. The Joggins Fossil Cliffs, a UNESCO world heritage site.
  2. Visit the Sackville Waterfowl Park.

In order to know how many cars we will need for this excursion, participants are invited to let us know their first choice for the excursion.

Research talks

Participants are encouraged to give a research talk. If you wish to give a talk please send a title and abstract to by May 1st. All submissions will be acknowledged by return email.

Student support

Graduate student participation is encouraged at FMCS. Students will pay a reduced registration fee. We will be able to offer limited support for travel and accommodations to a number of students.

Location and arrival

The workshop will take place at:

Dunn Building, room 106
Department of Mathematics and Computer Science
Mount Allison University
Sackville, New Brunswick

Here is a link to a Campus Map (the Dunn building, where talks take place, is number 22).

The closest airport to Sackville is the Moncton airport. Taxis from the Moncton airport to Sackville can be quite expensive (~$60 one way) and should be booked ahead of time. We will be organizing some rides to and from the airport at various times; when you register for the meeting, indicate when your flight will be arriving so that we can arrange this.


Please register for the meeting by emailing There will be an on-site registration fee of $100 to cover meeting costs. A discounted registration fee is available for students.

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), Hamilton (2007), Halifax (2008), Vancouver (2009), Kananaskis (2010), Kananaskis (2011), and Halifax (2012).


We gratefully acknowledge financial support from:


For further information about FMCS 2013, please email

Organizing committee:

Robin Cockett
Geoff Cruttwell (local organizer)
Pieter Hofstra
Phil Mulry
John Macdonald
Dorette Pronk
Bob Rosebrugh (local organizer)