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.
Tutorial lectures will be given by:
- Robin Cockett (Calgary)
- Peter LeFanu Lumsdaine (Dalhousie)
- Ernie Manes (Massachusetts)
- Simona Paoli (Leicester)
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
We have scheduled a hike for Saturday
and depending on the level of interest there are three options:
At the end of the day we encourage everybody to get together at the
- The Salt-Marsh
Trail near Lawrencetown Beach.
This is a very flat trail, following the old railroad bed, but a great
bird lovers with interesting vegetation.
- The Bluff Trail, near Timberlea,
which has a bit more altitude difference and offers some wonderful
- Take the afternoon off (which may include a walk through Point
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
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.
Participants are encouraged to give a research talk. If you wish to
give a talk please send a title and abstract to email@example.com as
soon as possible. At this point, talks will be considered on a
space-available basis. All submissions will be acknowledged by return
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.
The workshop will take place at:
Chase Building, Room 319
Department of Mathematics and Statistics
Halifax, Nova Scotia B3H 4R2
The Chase building is marked in red on this
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
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 firstname.lastname@example.org
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
Please register for the meeting by emailing email@example.com. 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 FMCS meetings were held in
Kananaskis (2010), and
For further information about FMCS 2012, please email firstname.lastname@example.org.
Peter Selinger (Dalhousie University, Halifax)
Dorette Pronk (Dalhousie University, Halifax)
List of Speakers
Peter LeFanu Lumsdaine
Special Session Organizers: