Foundational Methods in Computer Science Workshop (FMCS'01)

• To: types@cis.upenn.edu
• Subject: Foundational Methods in Computer Science Workshop (FMCS'01)
• From: "David Benson" <dbenson@eecs.wsu.edu>
• Date: Mon, 16 Apr 2001 14:30:26 -0700

                    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.

• Prev: Re: Barendregt was right after all ... almost
• Next: Re: positions at the Technical University of Denmark
• Index(es):
  • Main
  • Thread