FMCS 2017

FMCS 2017

[Richard Blute]

Hi all

The deadline for dorm reservations is this Friday. Please don't delay.

cheers
Rick


                                                                FMCS (Foundational Methods Of Computer Science)
                                                                                              June 8-11, 2017
                                                                                           University of Ottawa

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. If interested in speaking, contact Richard Blute (rblute@uottawa.ca).


Confirmed Tutorial  Speakers:

Richard Blute, University of Ottawa

Ernie Manes, University of Massachusetts.

Susan Niefield, Union College


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 (rblute@uottawa.ca).

We have booked a block of suites at the Business Inn (http://thebusinessinn.com) for 129 Dollars (Canadian) plus tax per night from June 7-June 11. When contacting them, mention the group name FMCS. Reservations must be made by May 15th. But don't delay. We only have a limited number of these rooms.

We have also booked a block of suites on campus. These are two bedroom suites in the Henderson Residence. These are 110 Dollars plus tax. These can be  booked online at www.accommodation.uottawa.ca. The reservation # is 31642.  Reservations must be made by April 7, 2017. But don't delay. We only have a limited number of these rooms. (Note this is fast approaching!)



[For admin and other information see: http://www.mta.ca/~cat-dist/ ]