From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/1916 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: Mon, 16 Apr 2001 14:27:04 -0700 Message-ID: <200104162127.OAA24479@kamiak.eecs.wsu.edu> NNTP-Posting-Host: main.gmane.org X-Trace: ger.gmane.org 1241018202 1188 80.91.229.2 (29 Apr 2009 15:16:42 GMT) X-Complaints-To: usenet@ger.gmane.org NNTP-Posting-Date: Wed, 29 Apr 2009 15:16:42 +0000 (UTC) To: categories@mta.ca Original-X-From: rrosebru@mta.ca Mon Apr 16 20:29:45 2001 -0300 Return-Path: Original-Received: (from Majordom@localhost) by mailserv.mta.ca (8.11.1/8.11.1) id f3GMEDx27420 for categories-list; Mon, 16 Apr 2001 19:14:13 -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: 14 Original-Lines: 38 Xref: news.gmane.org gmane.science.mathematics.categories:1916 Archived-At: PRELIMINARY 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 May 31: Arrival day -- Reception in the evening June 1: Tutorial Talks June 2: Research Talks Conference Banquet June 3: Research Talks in the morning Noon -- end of workshop A subsequent email will describe the venue, a hotel directly on the Spokane River, with nearby parks and a view of the Spokane Falls, as well as being just across the river from downtown. The necessaries about registration and obtaining hotel accomodations (around $US73/night) will be included in these subsequent messages. If you plan to attend, please reply as soon as may be to dbenson@eecs.wsu.edu and an indicate whether 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.