[Source: Categories List, http://www.mta.ca/~cat-dist/] Date: Wed, 6 Apr 1994 16:15:05 +0500 (GMT+4:00) Subject: Workshop on foundational methods in Computer Science Date: Thu, 31 Mar 94 14:52:15 -0800 From: John MacDonald Preliminary Announcement: Third Annual Workshop on Foundational Methods in Computer Science A workshop on applications of categories in compouter science Dates: June 3-5, 1994 Location: University of British Columbia, Vancouver, B. C. Overview: This will be the third year of the workshop on foundational methods in computer science. It is an "informal, even casual", workshop 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 one day tutorial on June 3 and short research presentations on June 4 and 5. There will not be a formal proceedings. Guests: We are still in the process of contacting distinguished visitors and guests. Participation: People wishing to participate should send me email at fmcs@math.ubc.ca. We hope to encourage the participation of researchers at all levels in this workshop, including graduate students. Fees: I have made arrangements for accomodations on the UBC campus. The budget has not been completed so I don't yet have a registration fee calculated. I hope to keep the fees to an absolute minimum. An application for dormitory accomodation as well as the amount of registration fee will come in a further communication. Email address: fmcs@math.ubc.ca -------------------------------------------------------------------- John MacDonald, Department of Mathematics, UBC, Vancouver, B.C., Canada V6T 1Y4 johnm@math.ubc.ca Phone: (604) 822-3627 --------------------------------------------------------------------- Art Stone stone@math.ubc.ca Phone: (604) 421-3054