Loading Events

« All Events

  • This event has passed.

26th Foundational Methods in Computer Science Workshop

May 31, 2018 - June 2, 2018

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)

Details

Start:
May 31, 2018
End:
June 2, 2018
Event Category:
Website:
http://www.mta.ca/~rrosebru/FMCS2018/FMCS2018.html

Venue

Mount Allison University
Sackville, New Brunswick Canada + Google Map

Organizer

Robert Rosebrugh
Email:
rrosebrugh@mta.ca