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!
Tutorials:
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.
Registration
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:
- A one-page email letter stating your background as well as why you are interested in attending.
- 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 Monday 30th May.
Participants:
(here)
Schedule: (a
preliminary schedule is here).