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 Program: [TBA]. List of Abstracts: [TBA]. List of Speakers: [TBA]. Accommodations There are several possibilites for accomodation while staying in Sackville: We have reserved a block of rooms on-campus. To reserve one, contact reservations@mta.ca 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. Excursion 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 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 gcruttwell@mta.ca 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 Canada 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. Registration Please register for the meeting by emailing gcruttwell@mta.ca. 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). Sponsors We gratefully acknowledge financial support from: The Faculty of Science of Mount Allison University The Atlantic Association for Research in Mathematical Sciences (AARMS) Contact For further information about FMCS 2013, please email gcruttwell@mta.ca. Organizing committee: Robin Cockett Geoff Cruttwell (local organizer) Pieter Hofstra Phil Mulry John Macdonald Dorette Pronk Bob Rosebrugh (local organizer)