FMCS 2024

31st Foundational Methods in Computer Science Workshop

University of Calgary
  July 8th - July 13th, 2024

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 2024 at the Kananaskis Field Station (now the Biogeosciences Institute) in the Kananaskis valley, Alberta, Canada. 

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, linear logic, differential categories, differential programming, and homotopy theory.


The meeting will have an informal reception at the field station  at 7:00pm on Monday evening 8th July. The workshop will end at midday on Saturday 13th July 2024.

The meeting will be run on a mountain schedule (this means afternoons are available for hiking -- bring hiking boots and equipment!).


Tuesday, Wednesday, and Thursday (July 9/10/11) will be largely devoted to tutorials.  Tutorial speakers (TBA) include: Research Talks:

The evenings, Friday, and Saturday morning will be largely devoted to contributed research talks.  If you wish to give a research talk please contact the local organizers (see 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 (TBA!).

Graduate student talks:

Graduate student participants and talks are particularly encouraged at FMCS.
There are some 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 (Monday night though Saturday lunch).  Transportation out to the Field Station on the Monday 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 Monday 8th July before 4:00PM (MST).  Look out for people you know or just look like FMCS sorts to share rides from the airport!  There will be a last shuttle to the Kananaskis field station leaving the University of Calgary at 6:00pm Monday July 8th: 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 Saturday 13th July 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 and Abstracts:

Please register for the meeting by emailing one of the local organizers (below) by Sunday 9th June: there are a limited number of spaces at the field station.  One can pay the registration fee on-arrival in cash or by 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!

Registration covers accommodation, meals, meeting costs, and transport: the registration fee will be $450 for non-students and $225 for students (who should register as described below). 

If you wish to give a talk please send the title and abstract to the organizers no later than Sunday 23th June.

Support for graduate students:

We particularly encourage graduate students to attend FMCS and to present their work. Some 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 Sunday 9th June.

Participants, Slides, and Abstracts: (here)