Final Announcement for FMCS 2017 +++++++++++++++++++++++++++++ Foundational Methods in Computer Science 2017 Ottawa, June 8-11 2017 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. The website can be found at http://aix1.uottawa.ca/~rblute/FMCS2017.html If you intend to give a talk, please send title and abstract to the organizers by Monday 15th. Our plan is that the talks will begin on the morning of June 8th and we will have a welcome reception on the evening of the 8th. 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. Organizers: Richard Blute Pieter Hofstra (613) 562-5800, ext. 3535 (613) 562-5800, ext. 3494 rblute@uottawa.ca phofstra@uottawa.ca [For admin and other information see: http://www.mta.ca/~cat-dist/ ]