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.