Foundational Methods in Computer Science 2014
University of Calgary, June 5th - 8th, 2014

The Department of Computer Science at the University of Calgary is hosting the Foundational Methods in Computer Science workshop at the Kananaskis Field Station (now the Biogeosciences Institute) in the Kananaskis valley, Alberta, Canada.   The meeting will run from the 5th June - 8th June 2014.

The workshop is an informal meeting which is run on a mountain schedule which brings together researchers in Mathematics and Computer Science with a focus on the applications of Category Theory to Computer Science.


Tutorials: Friday (June 6th) session will be mostly devoted to tutorials. 

Extended Research Talks:

Other Research Talks:
The schedule will be available in late May.
Student participants and talks are particularly encouraged at FMCS.
There are limited funds to provide support for 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 (Thursday night though Saturday night).  Transportation out to the Field Station on the Thursday afternoon  from Calgary will be available.

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 Thurday 5th June well before 4:00PM (MST)). There will be a last shuttle to the Kananaskis field stations leaving the University of Calgary at 6:00pm Thursday June 5th: we will leave from the bottom of the ICT building  assembling there at about 5:30PM (if you arrive before 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 Thursday, 5th June.

On Sunday 8th 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.


Please register for the meeting by emailing Robin Cockett (robin at ucalgary dot ca). The registration fee will be collected on-arrival in cash or by a check (only Canadian banks because of bank charges) -- we have rather limited Visa facilities so other methods are preferable.  There are no bank machines at the field station so please sort this out while at the university before you leave for the field station!

If you are arriving by plane we will try to meet you ... so look out for people you know or just look like FMCS sorts!  If all else fails take a taxi/bus to the University, go to the Computer Science Department (ICT building) and find my office (6th floor, ICT652).

Registration will cover accommodation, meals, meeting costs, and transport: the registration fee will be $375 for non-students and $275 for students. 

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 apply for this funding you should contact Robin Cockett (email) and include the following information:

All applications must be received by Monday 26th May.

Participants: (here)

Schedule: (a very preliminary schedule is here).

Past meetings:

Past meetings have been held in Mount Allison, Dalhousie, Ottawa, Hamilton, Spokane, Vancouver, Kananaskis, Portland ..