**** FMCS UPDATE **** REGISTRATION DEADLINE **** In order to book the proper size of rooms for meetings and the right number of spaces for the banquet I need to have your registration in by Wednesday May 25. Please email the registration information requested below to johnm@math.ubc.ca. Third Annual Workshop on Foundational Methods in Computer Science A workshop on applications of categories in computer science Dates: June 3-5, 1994 Location: University of British Columbia, Vancouver, B. C. Overview: This will be the third year of the workshop on foundational methods in computer science. It is an informal, casual meeting to bring together researchers in mathematics and computer science with a focus on the application of category theory in computer science. It is a three day meeting and will have the same format as the one held last year at Reed College and sponsored by the Oregon Graduate Insititute. On Friday, June 3, we will have tutorials on category theory. On Saturday June 4 and Sunday June 5 there will be a sequence of short research presentations. The workshop will end at noon on Sunday. All sessions will be held on the University of British Columbia campus. There will not be a formal proceedings. The registration fee is $75.(or $55.US) for regular registration and $55.(or $40.US) for students. Registration includes reception, refreshments at breaks, room bookings and a banquet Saturday evening. It does not include meals(except for the banquet). Meals however can be obtained inexpensively in the student cafeteria across the street from the student residences. NOTE: Dormitory accommodation is still available. If you have not registered and wish to do so then just send me a brief note and I will send you the room accomodation form by email. If you want to stay off campus please make those arrangements on your own. Schedule outline: THURSDAY June 2: 6PM - 9PM Registration and reception in the Ruth Blair Room of Walter Gage Towers (which is near the Student Union Building) on the campus of the University of British Columbia. The location of the talks will be posted each day in Walter Gage Towers. FRIDAY June 3: Tutorials Sessions begin at 9:30 AM SATURDAY June 4: Research sessions SUNDAY June 5: Research sessions ending around noon Speakers will include Robert Seely, Robin Cockett, E. Manes and David Benson as well as a number of others possibly including Phil Mulry, Bob Walters and Jim Hook. We are still in the process of arranging further speakers and finalizing our program. Thus although there may still be space left at the beginning of the meeting it is recommended that you let us know on the registration form if you wish to speak. ** Registration ** DUE May 25! Advance payment is preferred. Checks should be payable to John L. MacDonald (or to L. Richardson). They should be mailed to: John MacDonald(FMCS94) Department of Mathematics University of British Columbia Vancouver, B.C., Canada V6T 1Y4 Please send the registration form in even if you do not pay in advance since we need this information for bookings. Fees may be paid at the reception for those who have not prepaid. *******************REGISTRATION INFORMATION NEEDED******************* Name: Affiliation: Address: email: phone: registration fee(regular= $75(or$55US), student= $55(or$40US):_______ presentation? (yes/no) title: preferred day: Extra Banquet tickets ($26/person or $20.US): ******** SEND REGISTRATION INFORMATION to johnm@math.ubc.ca ******** REMARK: If you are coming in by air then you can come out to Gage Towers on the UBC campus (a) by taxi (b) by airport limousine to Hotel Vancouver and then a city bus on Burrard Street direct to UBC or (c) to UBC by a combination of city buses.