29th Foundational Methods in Computer Science Workshop

University of Calgary
  June 21st - June 26th, 2022

The departments of Computer Science and Mathematics at the University of Calgary, with support 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, Alberta, Canada.  

Group photo
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 fully vaccinated.

Schedule:

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!).

Tutorials:

Wednesday, Thursday, and Friday (June 22/23/24 will be largely devoted to tutorials.  Tutorial speakers (TBA) include:
Research Talks:

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).

On Sunday 26th June starting at 2:00PM there will be a shuttle service back to Calgary (arriving back at approximately 3:00PM). Please ensure any flight bookings are well after that time.

Registration

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 field station!

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 floor, ICT652).

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 below). 

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:

All applications must be received by Tuesday 14th June.

Participants, Slides, and Abstracts:

(will be here)