Foundational Methods in Computer Science: A workshop on applications of categories in computer science 1992 May 30-31 Sloan Hall School of Electrical Engineering and Computer Science Washington State University, Pullman WA 99164-2752 The focus of this workshop is the applications of categories to computer science. Ernie Manes has agreed to give a lecture on the subject of his new book, "Predicate Transformer Semantics". Robin Cockett will present an introduction to the fascinating work on categorical programming. I hope to convince Steve Bloom to discourse about iteration theories. Here is a list of possible areas, not meant to be in any sense limiting, for those interested in contributing talks of approximately 20 minutes duration: Semantics of programming languages Categorical and functional programming Program specification and verification Proof theory Logics and type theory Linear logics and Concurrency Theory Pedagogy and foundational issues This workshop is informal, even casual, but certain details need early attention so that the workshop goes smoothly. The cost is $US40 regular and $US25 for graduate students. There will be a reception Friday evening and an informal banquet Saturday night, included in this fee. We greatly appreciate receiving advance registrations. Please send a check together with your mailing address and any other particulars which you would like us to notice and attend to before the workshop begins. Pullman banks are only able to accept $US and $CA without disproportionate fees. Please use one of these two currencies. Thanks. As it currently appears that places are limited to about 25, please respond by return email with your intention as soon as may be. If you wish to contribute a talk, please email a tentative title. ------------------Categories in Computer Science------------------------- A one day introduction to categories, as used in typical computer science applications, consisting of six hours of lectures, is being organized for the day of Friday, May 29, just prior to the workshop. The plan is to begin at the beginning, perhaps with the Lawvere-Schanuel notes, Benjamin Pierce's new book with MIT Press, and with Bob Walters' book. If you find this introduction to be of interest and plan to attend, please so indicate in your return email or with your advance registration. Thanks. __-----------------------------------------------------------------__ Travel: Air transportation to Pullman is provided by Horizon Air via Spokane, Seattle, Pasco, Portland and Boise. All of these cities are served by several major airlines. But I recommend flying to Portland, Boise, Seattle or Spokane and renting a car. The scenery is well worth it. Details regarding scenic auto routes will be provided to those requesting further travel information. Note that Mt. Ranier, Mt. St. Helens, the Columbia Gorge, North Cascades Park, Glacier Park, and Yellowstone Park are all within one day's drive -- although not all on the same day. Alternatively, Campus Link, (208) 882-1223, provides airport limo service between Pullman/Moscow and the Spokane airport. Greyhound Bus provides two buses a day from each of Portland, Seattle, and Spokane. Housing: One may car camp in the city park for about ten US dollars a night. We expect to obtain a block of rooms in the vacated student dormitories. The rates are still under negotiation, but appear to be about $26 per person per night for a single and $37 for two in a room per night. These are attractive suites with the bathroom at the end of the hall. A block of rooms has been established for workshop attendees at the American Travel Inn Motel, S 515 Grand Avenue in Pullman. Mention the workshop name, Foundational Methods in Computer Science, when you call (509) 334-3500 to reserve your room, which needs be done before May 15 to obtain the following rates: $US32 single, $US42 double, $US45 4 to a room, all rates subject to a typical hotel tax. The American Travel Inn is about a 20 minute walk from Sloan Hall. Other commercial housing includes: Cougar Land Motel, (509) 334-3535 Hilltop Motor Inn, (509) 334-2555 (Reasonable, but too far to walk) Kimbrough House B+B, (509) 334-3866 (5 minute walk to Sloan Hall) Manor Lodge Motel, (509) 334-2511 (Economical, 10 minute walk to Sloan Hall) Nedels Inn, (509) 332-2646 (10 minute walk to Sloan Hall) In Moscow, 8 miles away, but there is no regular bus service other than Greyhound twice a day. Best Western University Inn, (208) 882-0550; (800) 528-1234 Hillcrest Motel, (208) 882-7579 Mark IV Motor Inn, (208) 882-7557 Motel 6, (208) 882-5511 Peacock Hill B+B, (208) 882-1423 Royal Motel Inn, (208) 882-2581 Super 8 Motel, (208) 883-1503 Looking forward to seeing you at the end of May, Best, David (509) 335-2706 (work) (509) 332-3164 (answering machine at home) dbenson@eecs.wsu.edu ===================================================================