FOUNDATIONAL METHODS IN COMPUTER SCIENCE
Transcript of FOUNDATIONAL METHODS IN COMPUTER SCIENCE
www.pims.math.ca @pimsmath facebook.com/pimsmath
FOUNDATIONAL METHODS IN COMPUTER SCIENCE2-5 June, 2016 University of British Columbia
Foundational Methods in Computer Science is an annual workshop that brings together researchers in theoretical computer science and category theory. Workshops have had discussions on areas such as quantum programming languages, restriction categories, database design, and the differential and resource lambda-calculi.
The 2016 workshop is informal and interdisciplinary with a focus on the application of algebraic methods in computer science.
WEBSITE AND REGISTRATION: www.pims.math.ca/scientific-event/160602-fmcs
LOCAL ORGANIZER: J. Lauchie MacDonald (University of British Columbia)
ORGANIZING COMMITTEE: Robin Cockett (University of Calgary), Geoff Cruttwell (Mount Allison University), Pieter Hofstra (University of Ottawa), Phil Mulry (Colgate University), J. Lauchie MacDonald (University of British Columbia), Dorette Pronk (Dalhousie University), Bob Rosebrugh (Mount Allison University)
( ) ( )F a G aax
( ) ( )F b G bbx
( ) ( )G fF f