30th Foundational Methods in Computer Science Workshop |
Mount Allison University |
June 7th-11th, 2023 |
Description: Foundational Methods in Computer Science is an annual workshop that brings together researchers in theoretical computer science and category theory. Past workshops have had discussions on areas such as quantum programming languages, restriction categories, database design, and the differential and resource logics. They have been held at Colgate, Dalhousie, Kananaskis (U of Calgary), Mount Allison, Ottawa, UBC, Spokane, and Portland. The workshop is informal and interdisciplinary.
Important booking dates:
Call for Participation/Talks: Anyone interested in attending is kindly requested to email Geoff Cruttwell by Friday May 19th. If you wish to give a talk, please also send a title and short abstract.We particularly encourage graduate students to attend FMCS and to present their work. Some limited funding toward accommodation and travel expenses is available to support graduate students who attend FMCS; if you wish to apply for this funding say so in your email indicating you will be attending the workshop.
Registration: Registration will take place on site. The registration fee will be $80 (Canadian, to be paid in cash) per person, and there is a reduced rate of $40 for students, postdocs and retired faculty without a grant.
Programme: A welcoming reception will be held on the evening of June 7th from 6:00-8:00pm in Tweedie Hall in the Wallace McCain student centre (#12 on the map below). Talks will begin at 9:30am on the morning of June 8th. All talks will be held in Room 106 of the Dunn building which is at the corner of York and Salem Streets (#18 on the map below). For more detail, see the campus map.
Schedule and Abstracts:
The meeting schedule is here.
Abstracts are here.
Accommodation: We have reserved blocks of rooms in:
Coastal Inn: (located about 15 minutes walk from campus). Single and double rooms available. Check in on Wednesday June 7th; check out on Sunday, June 11th. You must book by May 7. Price $104.00 + 15% HST. Click here for the website to book a room, using the code gp178872 (case sensitive).
Mount Allison residences: various room sizes available:
Travel to Sackville: The closest airport to Sackville is the Moncton airport (YQM). Taxis from the Moncton airport to Sackville can be quite expensive (~$100 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 know your plans, let us know when your flight will be arriving so that we can arrange this.
Participants and slides:
Organizers:
Geoff Cruttwell | Kellie Mattatall | ||
(506) 872-9354 | (506) 364-2530 | ||
gcruttwell@mta.ca | kmattatall@mta.ca | ||