Foundational Methods in Computer Science 2017
Ottawa, June 8-11 2017
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. Past meetings have been held in Mount Allison, Dalhousie, Ottawa, Hamilton, Spokane, Vancouver, Kananaskis and Portland. The 2017 workshop is informal and interdisciplinary. This will be a four day meeting with tutorials aimed at students, with research talks as well as talks by students on their thesis work in progress.
Call for Participation: anyone interested in attending or contributing a talk is kindly requested to notify the organizers with a title and short abstract. If you wish to speak, please let us know by May 15th. We particularly encourage graduate students to attend FMCS and to present their work. Some limited funding toward accommodation expenses is available to support graduate students who wish to attend FMCS. To apply for this funding you should contact Richard Blute.
Registration: Registration will take place on site. The registration fee will be $80 (Canadian, to be paid in cash) per person for regular professors, and $30 for graduate students, postdocs and retired professors without a grant.
Housing: We have reserved a block of rooms in the Business Inn, which is located a 10-minute walk from the university. This hotel has spacious rooms and has several dining options and coffee shops nearby. To book, contact the hotel directly at 1-800-363-1777, mentioning FMCS. The rate is $129 per night. Reservations must be made by May 15th. As of May 8th, there are still a few rooms left.
Programme: All talks will be held in the SITE building in Room STE J0106. The SITE building is at the bottom of the hill on King Edward Avenue. Here is a campus map.
Here is a preliminary schedule.
Abstracts of talks can be found
Organizers: Richard Blute
(613) 562-5800, ext. 3535 (613) 562-5800, ext. 3494