Loading Events

« All Events

26th Foundational Methods in Computer Science Workshop

June 7, 2018 - June 10, 2018

Foundational Methods in Computer Science is an annual workshop that brings together researchers and students in Theoretical Computer Science and Category Theory. The workshop will have presentations on areas such as quantum programming languages, restriction categories, database design, and the differential and resource logics. Past workshops have been held at universities across North America including University of British Columbia, University of Washington Spokane, University of Calgary, University of Ottawa, Colgate University, Dalhousie University, and Mount Allison University. Like its predecessors the 2018 workshop will be informal and interdisciplinary. This is a three day meeting featuring extended research tutorials aimed at students, and research talks by many of the participants.

Details

Start:
June 7, 2018
End:
June 10, 2018
Event Category:

Organizer

Robert Rosebrugh
Email:
rrosebrugh@mta.ca

Venue

Mount Allison University
Sackville, New Brunswick Canada + Google Map