Foundational Methods in Computer Science

  • Start Date: 06/02/2016
  • End Date: 06/05/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. Past meetings have been held in Mount Allison, Dalhousie, Ottawa, Hamilton, Spokane, Vancouver, Kananaskis and Portland.


The 2016 workshop is informal and interdisciplinary with a focus on the application of algebraic methods in computer science. This will be a three day meeting that starts off with a day of tutorials aimed at students, followed by two days of research talks as well as talks by students on their thesis work in progress.


Confirmed Tuitorial  Speakers:

Jamie Vicary, Computer Science, Oxford University 

Dorette Pronk, Mathematics, Dalhousie University 

Robin Cockett, Computer Science, University of Calgary.

Ernie Manes, Mathematics, University of Massachusetts. 




The final program is available here



Abstracts / Downloads / Reports: 

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

J. Lauchie MacDonald, University of British Columbia 

Phil Mulry, Colgate University

Dorette Pronk, Dalhousie University

Bob Rosebrugh, Mount Allison University

Other Information: 


 Earth Sciences Building, 2207 Main Mall  University of British Columbia - Vancouver.




Registration for this event is now open. Fees include the conference package, coffee breaks for the duration of the meeting, an opening reception and workshop dinner. To register, please contact J Lauchie MacDonald


**Faculty $225 from May 2

**Graduate Students:  $175 from May 2



Support for graduate students:

We particularly encourage graduate students to attend FMCS and to present their work. Some limited funding toward accommodation expenses is available to support graduate students who wish to attend FMCS. To apply for this funding you should contact J. Lauchie MacDonald and include the following information:


**A one-page email letter stating your background as well as why you are interested in attending.

**The letter should also state whether you have access to any other funding to attend.

**An email letter of reference from your supervisor or an appropriate other person.


All applications must be received by Monday 2nd May, 2016. We will contact applicants shortly thereafter. 




Our preferred accommodation will be on-campus at UBC. You can book shared apartments or private suites and studios online here. We have also secured preferred rates with our Downtown hotel partner, The Listel hotel. Book online with the PIMS group code: PIMS. Please bear in mind travel/ commute times when booking downtown.



Local Information:

Local Transit: UBC is transit friendly and Bike friendly. Check information on arriving on campus by transit and getting transit tickets here; rent-a-bike to get round campus here.


Taxis: Taxis are available outside Walter H. Gage Towers or by phone at 604-861-1111604-861-1111.


Local Weather: Check current conditions here.


Food Outlets and their hours of operations: On Campus; Off campus such as UBC VillagePoint Grey Village and Westbrook village offer an array of restaurants and food outlets.


On Campus Activities: UBC recreation and UBC’s top attractions.  






Conference Evaluation Survey:

Participants of this event are required to fill in the online event evaluation survey available here