26th Foundational Methods in Computer Science Workshop

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. The scientific program consists of research tutorials and contributed talks. We particularly encourage graduate students to attend FMCS and to present their work.

Confirmed tutorial speakers:

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