* Foundational Methods in Computer Science Workshop (FMCS'01)
@ 2001-05-01 23:14 David Benson
0 siblings, 0 replies; 2+ messages in thread
From: David Benson @ 2001-05-01 23:14 UTC (permalink / raw)
To: categories
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.
^ permalink raw reply [flat|nested] 2+ messages in thread
* Foundational Methods in Computer Science Workshop (FMCS'01)
@ 2001-04-16 21:27 David Benson
0 siblings, 0 replies; 2+ messages in thread
From: David Benson @ 2001-04-16 21:27 UTC (permalink / raw)
To: categories
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.
^ permalink raw reply [flat|nested] 2+ messages in thread
end of thread, other threads:[~2001-05-01 23:14 UTC | newest]
Thread overview: 2+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2001-05-01 23:14 Foundational Methods in Computer Science Workshop (FMCS'01) David Benson
-- strict thread matches above, loose matches on Subject: below --
2001-04-16 21:27 David Benson
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).