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)
- 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 email@example.com 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:
- The Joggins Fossil Cliffs,
a UNESCO world heritage site.
- 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
Participants are encouraged to give a research talk. If you wish to
give a talk please send a title and abstract to firstname.lastname@example.org by May 1st. All submissions will be acknowledged by return email.
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.
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 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.
Previous FMCS meetings were held in Pullman (1992),
Kananaskis (2011), and
For further information about FMCS 2013, please email firstname.lastname@example.org.
Geoff Cruttwell (local organizer)
Bob Rosebrugh (local organizer)