[Source: Categories List, http://www.mta.ca/~cat-dist/] Date: Thu, 20 Apr 1995 09:25:16 -0300 (ADT) Subject: Notice for FMCS Date: Wed, 19 Apr 1995 13:38:13 -0600 From: Robin Cockett =========================================================================== ************************************************* * * * FFFFF M M CCC SSSS 9999 55555 * * F MM MM C S 9 9 5 * * FFFFF M MM M C SSS 99999 555 * * F M N C S 9 5 * * F M M CCC SSSS 9999 5555 * * * **********************FMCS 95******************** * * * PRELIMINARY ANNOUNCEMENT * * * **********************FMCS 95******************** Fourth Annual Workshop on Foundational Methods in Computer Science (A workshop on applications of categories in computer science) DATES: June 2-4, 1995 LOCATION: University of Calgary, Kananaskis Field Station. *** LIMITED ACCOMODATION BOOK EARLY *** Overview: This will be the fourth year of the workshop on foundational methods in computer science. The workshop provides a forum for bringing together mathematicians and computer scientists with an interest in category theory and its applications to computer science. The workshop will have approximately the same format as last year, with a day of tutorials on friday June 4 and shorter research presentations on June 5 and 6. Due to the location (in the foothills of the Rockies) we shall adopt a mountain conference schedule: lectures will run 9:00am -12:00pm, packed lunches, supper at 5:30pm, and lectures resume 7:00pm - 10:00pm. There will be no proceedings prior to the meeting. Guests: We are still in the process of contacting speakers and guests. The tutorials will include an introduction to category theory by David, a survey of monads by Ernie Manes, an introduction to enriched category theory by Vaughn Pratt, and a survey of linear logic. Participation: People wishing to participate should send me email which clearly states "FMCS Workshop" to: camille@cpsc.ucalgary.ca (with a carbon copy to: robin@cpsc.ucalgary.ca) if you are interested in giving a talk please offer a preliminary title. This will help with scheduling. We encourage the participation of researchers at all levels in this workshop, including graduate students. Please notify us as soon as possible of your intention to attend. PLEASE NOTE: We are working on a first come first serve basis as there is limited accomodation. Fees: This is a sleep-on-site meeting we propose a charge of roughly ca$150-200.00 to cover all food and accomodation and registration for thurs/friday/saturday. If you wish to stay the sunday night you may arrange this during the workshop. There is accomodation for a maximum of 38 persons. If you need transport from Calgary please let us know -- we will arrange it! About the location: The Kananaskis field station is on Highway 40, 10.2 kilometers south of the junction with Trans Canada #1. The site is immediately to the East of Barrier Lake and was (in WW2) a POW camp. The accomodation has improved since then! However, it remains a relatively remote field station -- bunk beds and dormitary style accomodation are the order of the day. It is right next door to many of the Olympic downhill and cross-country skiing areas. The area offers walks of all standards in some of the most stunning mountain scenery of the Rockies. In June the evenings still get quite cool.