Final Announcement for FMCS 2017

Final Announcement for FMCS 2017

[Richard Blute]

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/ ]