FMCS 2018 First Announcement

FMCS 2018 First Announcement

[Geoffrey Cruttwell]

            26th Foundational Methods in Computer Science Workshop
                                             May 31-June 2, 2018
                                           Mount Allison University

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 2018 workshop is informal and interdisciplinary.

There will be an informal welcoming reception in the evening of May 30th. The scientific program starts on May 31st, and consists of tutorials and contributed talks. The meeting ends on the afternoon of June 2nd.

Confirmed tutorial speakers:

Kristine Bauer (Calgary)
Ernie Manes (Massachusetts)
Robert Pare (Dalhousie)
Peter Selinger (Dalhousie)

Note that the arrival day this year is Wednesday, and talks will end Saturday afternoon. Participants will have time to travel on Saturday either to Halifax for QPL and MFPS, or to Fredericton for the CMS meeting.

We particularly encourage graduate students to attend FMCS and to present their work.

Anyone interested in attending is kindly requested to notify Bob Rosebrugh (rrosebrugh@mta.ca). Please let us know by May 10th. If you wish to give a talk, please also send a title and short abstract. Some limited funding toward accommodation and travel expenses is available to support graduate students who attend FMCS. To apply for this funding you should contact Geoff Cruttwell (gcruttwell@mta.ca).

Website (with registration/accommodation/travel info):   
http://www.mta.ca/~rrosebru/FMCS2018/FMCS2018.html

The organizers:

Geoff Cruttwell (gcruttwell@mta.ca)
Rory Lucyshyn-Wright (rlucyshynwright@mta.ca) 
Bob Rosebrugh (rrosebrugh@mta.ca)


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