FMCS 2018 Second Announcement

FMCS 2018 Second Announcement

[Geoffrey Cruttwell]

----- FMCS 2018 Second Announcement-----------------

This is the second announcement for FMCS 2018, happening at Mount Allison
University from May 30th to June 2nd.  Note that the deadline for booking
with the Coastal Inn is soon (April 29th) and the deadline for registration
and abstract submission is relatively soon (May 10th).


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