[Source: Categories List, http://www.mta.ca/~cat-dist/] Subject: Workshop on Foundational Methods in Computer Science Date: Sat, 10 Apr 93 10:21 PDT From: hook@hood.cse.ogi.edu (Jim Hook) Preliminary Announcement: Second Annual Workshop on Foundational Methods in Computer Science A workshop on applications of categories in computer science Dates: June 4-6, 1993 Location: Reed College, Portland, Oregon Overview: This will be the second 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 4 and short research presentations on June 5 and 6. There will not be a formal proceedings. Guests: I am still in the process of contacting distinguished visitors and guests. Tutorials will be presented by Ernie Manes, Robin Cockett and David Benson (there may be others as well). Participation: People wishing to participate should send me email. We hope to encourage the participation of researchers at all levels in this workshop. Fees: I have made arrangements for dormitory accommodations and classroom space. I haven't negotiated the meal plan yet and I haven't completed a budget, so I don't yet have a registration fee calculated. I hope to keep the fees to an absolute minimum. ---------------------------------------------------------------------------- James Hook | Department of Computer Science and Engineering hook@cse.ogi.edu | Oregon Graduate Institute of Science & Technology Phone: (503) 690-1169 | 19600 N.W. von Neumann Drive Fax: (503) 690-1029 | Beaverton, OR 97006-1999 ----------------------------------------------------------------------------