All Day

26th Foundational Methods in Computer Science Workshop

Mount Allison University Sackville

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