[Source: Categories List, http://www.mta.ca/~cat-dist/] Date: Wed, 17 Apr 1996 15:07:54 -0300 (ADT) Subject: FMCS-96 Workshop -- first announcement Date: Wed, 17 Apr 1996 02:29:36 -0700 Subject: FMCS-96 Workshop -- first announcement Foundational Methods in Computer Science: A workshop on applications of categories in computer science 1996 June 1-2 to be held on the campus of Washington State University Pullman WA 99164-2752 USA As always, the focus of this workshop is the applications of categories to computer science, and to encourage cooperation on these matters between computer scientists and mathematicians interested in this topic. In previous sessions, some of the talks have been quite categorical while others concentrate upon computer science matters which may excite the interests of category theorists. This workshop annual series strongly encourages the participation of young researchers of every age. As is the tradition in this workshop series, there is a preceeding tutorial day on Friday, 1996 May 31. Here is a list of possible areas, not meant to be in any sense limiting, for those interested in contributing talks: Categorical and functional programming Program specification and verification Duality Concurrency theory Computer programs about categories Pedagogy and foundational issues This workshop is informal, even casual, but certain details need early attention so that the workshop might go smoothly. The cost will be as modest as possible consistent with having an enjoyable and productive workshop. These costs are entirely for the purposes of proper digestion: snacks during session breaks, a reception on Friday night and a workshop dinner on Saturday night. Please respond by return email with your positive intention as soon as may be. If you wish to contribute a talk, please email a tentative title. Looking forward to seeing you at the end of May and the very beginning of June, Best, David (509) 335-2706 dbenson@eecs.wsu.edu ----------------------TRANSPORTATION-------------------------------- Air -- via Spokane (GEG). Airlines include United, Northwest, Horizon, Alaska, Delta, Southwest. Upon arrival, rent a car or else use Link Transporation limo, which you may reserve also through your travel agent: (208) 882 1223 (800) 359 4541 One way: $37. Round trip: $52. Be sure to reserve for your arrival. Link will wait for late airplanes. (For example, the last Link trip will wait for the last UA flight from Chicago O'Hare) Southbound Leaves Spokane International Airport 8:00xs 12:05 2:30x 6:30 9:15x Arrives Pullman 10:00xs 1:50 4:10x 8:10 10:50x Northbound Leaves Pullman (WSU CUB) 5:00xs 8:15 10:15x 2:45 5:45x Arrives Spokane Airport 6:45xs 10:00 12:00x 4:30 7:30x x -- not Saturdays s -- not Sundays Horizon flys directly to Pullman from Seattle (SeaTac) and from Portland and also Boise. Fares from California, via Alaska Airlines, to Portland or Seattle and thence on to Pullman are hardly more than flying just to Portland or Seattle. In the past this has been true of Northwest flights from anywhere into SeaTac, but I forgot to check whether or not this is still valid. [Exactly one-half of the Horizon flights from Seattle fly first into the Lewiston airport, followed by the 10 minute hop to Pullman. Try to book on the other half, which go around the other way. Reverse the half for departure from Pullman.] You may rent a car at the Pullman airport, take a taxi, or if at all possible, we will arrange to meet you at the airport. For those planning to attend MFPS in Boulder, UA 302 departs Spokane at 2:10pm on Sunday, June 2, arriving at 5:18pm at the United concourse of the new DIA -- Denver International Airport. I will be driving up to Spokane in ample time for this flight and will be happy to take 1 or 2 more people up with me. If there are more than I can take, we can instead arrange for a special Link Transportation limo to pick us up at the WSU CUB, near the conference room, to leave us directly in front of the United ticket counters -- for a fee, of course. By car -- If you are driving from Spokane, please let me know if you would like information about scenic routes. This is the best time of year to go car touring in the channeled scablands, changing a 1.6 hour drive to Pullman into a 3.3 hour drive -- but well worth it! If coming from another direction, similar car touring sidetrips can be recommended. In the near vicinity are the unusual Palouse Falls, the Drumheller (Scabland) dry falls, the channeled scablands. A bit further are the Grand Coulee and its dam, as well as other coulees undeservedly less well-known. All of this unusual landscape is the result of the (last) ice age Breitz Floods, about 40 of them each involving a Great Lake's worth of water released within the space of a few days. The 10 to 12 thousand years since the floods has done rather little to erase the remarkable evidence of this catastrophe. To the east are the mountains of Idaho. This year you will be able to access the high country via auto by the end of May. All in all, if you have a bit of extra time, car touring in this vicinity provides unsurpassed sights which are rather little known. -------------RESTING------------------------------------------------- There are motels and a city campground within walking distance of restuarants, downtown, and the conference room. I am attempting to arrange the use of the University's conference dorm for this weekend. The dorm, if available, is quite lovely, and for a more modest price than most of the motels. An announcement regarding accommodations will be sent to registering participants. ------------ENTERTAINMENT-------------------------------------------- Nothing can be more entertaining than Foundational Methods of Computer Science, so we will have a reception on Friday night and a workshop dinner on Saturday night. -----------WHAT TO DO NOW--------------------------------------------- Send me a return email if you are planning to come. Book your airflights early, since the airplanes seem to be running rather full this year. dbenson@eecs.wsu.edu