University of Calgary
June 21st - June 26th, 2022
The departments of Computer
Science and Mathematics
at the University of Calgary,
from PIMS, are hosting
the Foundational Methods in Computer Science workshop 2022 at
the Kananaskis Field Station
(now the Biogeosciences Institute) in the Kananaskis valley,
Photo courtesy: Peter Selinger
Hiking pictures are available here
Foundational Methods in Computer Science is an annual workshop
that brings together researchers in category theory and
theoretical computer science. This year's
scientific program, while continuing to welcome talks from all
areas of category theory and theoretical computer science is
happy to host tutorials (and talks) on categorical quantum
mechanics, conformal field theory, linear logic, differential
categories, differential programming, and homotopy theory.
This is an in-person meeting: paricipants are required to be
The meeting will have an informal reception at the field station at 7:00pm on Tuesday evening 21st June. The workshop will end at midday on 26th June 2022.
The meeting will be run on a mountain schedule (this means afternoons are available for hiking -- bring hiking boots and equipment!).
Wednesday, Thursday, and Friday (June 22/23/24 will be largely devoted to tutorials. Tutorial speakers (TBA) include:
- Jonathan Gallagher
- Rick Blute
- Geoff Cruttwell
- Jean-Simon Lemay
- Priyaa Srinivasan
- Peter Selinger
- Chris Heunen
- Colleen Delaney
- Pawel Sobocinski
- Susan Niefield
The evenings, Saturday, and Sunday morning will be largely devoted to contributed research talks. If you wish to give a research talk please contact the local organizers (below) and provide an abstract. We shall try to provide time for everyone who wishes to talk to do so.
The schedule is long form is here, short form is here (Updated!).
Graduate student talks:
Graduate student participants and talks are particularly encouraged at FMCS.
There are limited funds to provide support for graduate students who wish to attend the workshop (see below).
Travel and accommodation:The meeting is at a Field Station situated in the foothills of the Rockie Mountains some 100K from the city of Calgary. Registration includes food and accommodation (Tuesday night though Sunday lunch). Transportation out to the Field Station on the Tuesday evening from Calgary will be available as will be transportation back to Calgary after the meeting.
If you are planning to attend FMCS please try to arrive at the University of Calgary before 5:00pm (if you are flying in that day plan to arrive at the airport on Tuesday 21th June before 4:00PM (MST)). There will be a last shuttle to the Kananaskis field station leaving the University of Calgary at 6:00pm Tuesday June 21st: we will leave from the bottom of the ICT building: we will assemble there at about 5:30PM (if you arrive early just come up to Robin Cockett's office ICT 652).
There will be an informal reception for participants at the
field stations starting at 7:00PM Tuesday, 21st June (when the
safety arrangements of the field station will be explained).
Please register for the meeting by emailing one of the local
organizers (below): there are a limited number of spaces at the
field station. The registration fee can be paid electronically
once you have contacted the local organizers. One can also pay
on-arrival in cash or by a check (only Canadian banks because of
bank charges) There are no bank machines at the field
station so please sort this out before you leave Calgary for the
If you are arriving by plane look out for people you know or
just look like FMCS sorts (to share rides)! Take a
taxi/bus to the University, go to the Computer Science
Department (ICT building) and find Robin Cockett's office (6th
Registration cover accommodations, meals, meeting costs, and
transport: the registration fee will be $400 for non-students
and $200 for students (who should register as described
Support for graduate students:
We particularly encourage graduate students to attend FMCS and to present their work. Some limited funding is available to support graduate students who wish to attend FMCS. To obtain the discounted registration and to apply for this funding you should contact Robin Cockett (email) and include the following information:
- A one-page email letter stating your background as well as why you are interested in attending.
- You will be expected to contribute a short talk: so you need
to submit an abstract.
- 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 Tuesday 14th June.
Participants, Slides, and