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 will be given by:
- Pieter Hofstra (Ottawa)
- Ernie Manes (Massachusetts)
- Paul-André Melliès (Paris 7)
- Andrea Schalk (Manchester)
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
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.
The workshop will take place at:
Chase Building, Room 319
Department of Mathematics and Statistics
Halifax, Nova Scotia B3H 3J5
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 $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 email@example.com
and mentioning "FMCS 2008".
Here is a template you can use. It
is recommended that you make your reservations by April 15 to
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 firstname.lastname@example.org. 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 FMCS meetings were held in
Kananaskis (2006), and
To receive further information about FMCS 2008, including information
about housing and registration, please send email to email@example.com.
Peter Selinger (Dalhousie University, Halifax)
Dorette Pronk (Dalhousie University, Halifax)
Special Session Organizer: