From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/1935 Path: news.gmane.org!not-for-mail From: "David Benson" Newsgroups: gmane.science.mathematics.categories Subject: Foundational Methods in Computer Science Workshop (FMCS'01) Date: Tue, 1 May 2001 16:14:38 -0700 Message-ID: <200105012314.QAA28101@kamiak.eecs.wsu.edu> NNTP-Posting-Host: main.gmane.org X-Trace: ger.gmane.org 1241018214 1279 80.91.229.2 (29 Apr 2009 15:16:54 GMT) X-Complaints-To: usenet@ger.gmane.org NNTP-Posting-Date: Wed, 29 Apr 2009 15:16:54 +0000 (UTC) To: categories@mta.ca Original-X-From: rrosebru@mta.ca Wed May 2 13:32:29 2001 -0300 Return-Path: Original-Received: (from Majordom@localhost) by mailserv.mta.ca (8.11.1/8.11.1) id f42Fuim09653 for categories-list; Wed, 2 May 2001 12:56:44 -0300 (ADT) X-Authentication-Warning: mailserv.mta.ca: Majordom set sender to cat-dist@mta.ca using -f Original-Sender: cat-dist@mta.ca Precedence: bulk X-Keywords: X-UID: 3 Original-Lines: 53 Xref: news.gmane.org gmane.science.mathematics.categories:1935 Archived-At: ANNOUNCEMENT Workshop on Foundational Methods in Computer Science -- a series of informal workshops on categories and logic in computer science FMCS'01 : May 31 -- June 3, 2001 Spokane, Washington with sponsorship from the School of Electrical Engineering and Computer Science Washington State University May 31: Arrival day -- Reception in the evening, 7-10pm PDT June 1: Tutorial Talks June 2: Research Talks Conference Banquet June 3: Research Talks in the morning Noon -- end of workshop [includes talks by John MacDonald, Robin Cockett, Ernie Manes, Paul Gilmore, and tutorials by Ernie Manes and Phil Mulry] WORKSHOP HOTEL: WestCoast River Inn (509) 326-5577 (800) 325-4000 State you are with the FMCS conference to obtain the lower conference rate of $US73 per night. [There are a limited number of rooms at this rate, so call soon!] The hotel provides transportation from/to the Spokane airport, so inquire about this when you call... REGISTRATION: Registration information will be forthcoming. As always, the registration fees for students are set at about 60% of non-student registrations and everybody may either prepay or pay onsite. If you plan to attend and have not previously communicated with me, please reply as soon as may be to dbenson@eecs.wsu.edu and indicate if you would like to give a tutorial or a research talk. Thank you! -- Professor David B. Benson (509) 335-2706 School of EE and Computer Science (EME 102A) (509) 335-3818 fax PO Box 642752, Washington State University dbenson@eecs.wsu.edu Pullman WA 99164-2752 U.S.A.