Foundational Methods in Computer Science 2011
University of Calgary, June 11th - 14th, 2011

The Department of Computer Science at the University of Calgary is hosting the Foundational Methods in Computer Science workshop at the Kananaskis Field Stations in Alberta, Canada.   The meeting will run from the 11th June - 14th June 2011.

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

If you are attending the 2011 Canadian Math Society (CMS) Summer Meeting in Edmonton (June 3-5) there is just enough time to be a tourist between the meetings!


The Saturday session will be mostly devoted to tutorials.  Including:

Ernie Manes (Algebraic Models of Topological Dynamics: Coproduct Preserving Monads and Semigroups), Pieter Hofstra, Laura Scull, ..

Extended Research Talks:

Geoff Crutwell (Differential restriction categories), Poalo Tranquilli, Willem Heijltjes, Giulio Manzonetto, ...

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 (Friday night though Monday night).  Participants are transported out to the Field Station on the Friday afternoon.  

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 Friday 10th 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 Friday June 10th: we will meet at the bottom of the ICT building starting at 5:30PM.

There will be an informal reception for participants at the field stations starting at 7:00PM Friday 10th June.

On Tuesday 14th June at 2:00PM there will be a shuttle service back to Calgary (arriving 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 charges) -- we have rather limited Visa facilities so other methods are preferable.  There are no bank machines etc. 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 people!  If all else fails take a taxi/bus to the University go to the Computer Science Department.

Registration will cover accommodation, meals, meeting costs, and transport: the registration fee will be $350 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 30th May.

Participants: (here)

Schedule: (a preliminary schedule is here).

Past meetings:

Past meetings have been held in Halifax, Ottawa, Hamilton, Spokane, Vancouver, Kananaskis, Portland..