BEGIN:VCALENDAR
VERSION:2.0
PRODID:-// - ECPv5.3.1//NONSGML v1.0//EN
CALSCALE:GREGORIAN
METHOD:PUBLISH
X-ORIGINAL-URL:https://aarms.math.ca
X-WR-CALDESC:Events for 
BEGIN:VTIMEZONE
TZID:UTC
BEGIN:STANDARD
TZOFFSETFROM:+0000
TZOFFSETTO:+0000
TZNAME:UTC
DTSTART:20180101T000000
END:STANDARD
END:VTIMEZONE
BEGIN:VEVENT
DTSTART;VALUE=DATE:20180531
DTEND;VALUE=DATE:20180603
DTSTAMP:20260609T180702
CREATED:20170922T132025Z
LAST-MODIFIED:20180531T011523Z
UID:2179-1527724800-1527983999@aarms.math.ca
SUMMARY:26th Foundational Methods in Computer Science Workshop
DESCRIPTION: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. \nConfirmed tutorial speakers: \n\nKristine Bauer (Calgary)\nErnie Manes (Massachusetts)\nRobert Pare (Dalhousie)\nPeter Selinger (Dalhousie)
URL:https://aarms.math.ca/event/26th-foundational-methods-in-computer-science-workshop/
LOCATION:Mount Allison University\, Sackville\, New Brunswick\, Canada
CATEGORIES:AARMS workshops and conferences
ORGANIZER;CN="Robert%20Rosebrugh":MAILTO:rrosebrugh@mta.ca
END:VEVENT
END:VCALENDAR