FMCS 2012
20th Workshop on Foundational Methods in Computer Science

Dalhousie University, Halifax, Canada
June 14-17, 2012

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 June 13, starting at 5:30. The scientific program starts on June 14, and consists of four tutorials aimed at students and newcomers to category theory, as well as two and a half days of research talks. There will be an excursion on one of the afternoons, and a conference dinner on Friday. The meeting ends at mid-day on June 17.

Post Conference

Thanks to all the speakers and participants for making this a successful workshop. Many speakers have agreed to make copies of their slides available. If you are a speaker and haven't yet sent your slides, you are still welcome to do so and I will post them.
Cockett 1
Cockett 2
Manes slides
Manes handout

And here are some pictures. Please email me if you have taken pictures at the workshop and would like them to be added here.

Pictures by Brett Giles:

Picture by Ernie Manes:

Tutorial lectures

Tutorial lectures will be given by:

  • Robin Cockett (Calgary)
  • Peter LeFanu Lumsdaine (Dalhousie)
  • Ernie Manes (Massachusetts)
  • Simona Paoli (Leicester)

Special session

There will be a special session in honor of Robin Cockett's 60th birthday. The special session organizers are Rick Blute, Pieter Hofstra, and Robert Seely.


  • Program: [html, pdf].
  • List of Abstracts: [pdf].
  • List of Speakers: [html].

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 Friday night at a restaurant (to be announced). The dinner will be partially, but probably not completely, subsidized.


We have scheduled a hike for Saturday afternoon and depending on the level of interest there are three options:
  1. The Salt-Marsh Trail near Lawrencetown Beach. This is a very flat trail, following the old railroad bed, but a great trail for bird lovers with interesting vegetation.
  2. The Bluff Trail, near Timberlea, which has a bit more altitude difference and offers some wonderful views.
  3. Take the afternoon off (which may include a walk through Point Pleasant Park or the Public Gardens).
At the end of the day we encourage everybody to get together at the Granite Brewery.

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.

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.

Research talks

Participants are encouraged to give a research talk. If you wish to give a talk please send a title and abstract to as soon as possible. At this point, talks will be considered on a space-available basis. 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 have been able to offer limited support for travel and accommodations to a number of students. The deadline for applications for student support has now passed.

Location and arrival

The workshop will take place at:

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

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 $19.50. You can get off at a number of downtown locations. 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 $45 per night for a single room, and $65 for a double room. Reservations can be made by sending an e-mail to including your name, address, dates, and a credit card number, or calling (902)422-1275, ext 106. It's best to reserve this soon, as there are several big meetings in Halifax around this time, and we don't know when it might be filling up.

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 $100 to cover meeting costs. A discounted registration fee is available for students and for 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), Hamilton (2007), Halifax (2008), Vancouver (2009), Kananaskis (2010), and Kananaskis (2011).


We gratefully acknowledge financial support from:



For further information about FMCS 2012, please email

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


List of Speakers

Tutorial speakers:
Robin Cockett
Peter LeFanu Lumsdaine
Ernie Manes
Simona Paoli

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

Local Organizers:
Dorette Pronk
Peter Selinger

Special Session Organizers:
Rick Blute
Pieter Hofstra
Robert Seely

Campus map
Area map
Airport shuttle


Dalhousie University



Last updated: March 9, 2012 by Peter Selinger