Foundational Methods in Computer Science Workshop (FMCS'01)
Foundational Methods in Computer Science
-- a series of informal workshops on
categories and logic in computer science
FMCS'01 : May 31 -- June 3, 2001
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
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]
WestCoast River Inn (509) 326-5577
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 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
and indicate if you would like to give a tutorial or a research talk.
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 firstname.lastname@example.org
Pullman WA 99164-2752 U.S.A.