FOUNDATIONAL METHODS IN COMPUTER SCIENCE

1
www.pims.math.ca @pimsmath facebook.com/pimsmath FOUNDATIONAL METHODS IN COMPUTER SCIENCE 2-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) () () Fa Ga a x () () Fb Gb b x () () Gf Ff

Transcript of FOUNDATIONAL METHODS IN COMPUTER SCIENCE

Page 1: 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