**** FMCS UPDATE **** REGISTRATION DEADLINE **** In my first announcement I neglected to specifiy that I need a firm count on rooms and meals by Monday, May 24. Please send email registration forms by Sunday, April 23, to Kerri Crockett (crockett@cse.ogi.edu). - Jim Hook FMCS93 **** Announcement and Registration **** Foundational Methods in Computer Science: A workshop on applications of categories in computer science 1993 June 4--6 Reed College, Portland, Oregon Sponsored by the Computer Science and Engineering Department at Oregon Graduate Institute of Science & Technology and the Department of Mathematics at Reed College. This workshop 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. On Friday, June 4, we will have tutorials on category theory. On Saturday and Sunday we will have research meetings. The workshop will end at noon on Sunday. All sessions will be held on the Reed campus which is quiet, beautifully landscaped, and adjacent to a park and a public golf course. The registration fee is $60 for regular registration and $45 for students. Registration includes breakfasts, refreshments, breaks and a Chinese buffet. Dormitory accommodation is available at $3.50 + $20 per night (three nights = $63.50). Preliminary Schedule highlights: (Assignment of talks to sessions may change!) Thursday 6/3: 1800 - 2100 Registration and reception Friday 6/4: Tutorials Sessions I and II: Elementary category theory David Benson and Bob Walters Session III: Binding Monads to Program Blocks Ernie Manes Session IV: Sketches Charles Wells Saturday 6/5: Research sessions Session V: Monads & Kleisli Phil Mulry Dick Kieburtz Session VI: Charity Robin Cockett What happened to charity? Tom Fukushima More on monads Todd Simpson Distributive logic Session VII: Vaughan Pratt The Symmetry of Satisfaction in Much More Detail Session VIII: Concurrency Dave Spooner The Category of Protocols Bob Walters Concurrency and Distributed Processing Sunday 6/6 Session IX: Charles Wells and Atish Bagchi Rules of Inference for Sketches Session X: Type theory and Recursion theory Several people have tentatively suggested titles along this theme. The workshop is happening during the Portland Rose festival. Highlights of the festival during the workshop include: 6/3 Coronation 6/4 Fireworks spectacular 6/4-6 Rose Festival Carnival on Waterfront 6/4-5 Golf Classic 6/5 Starlight Parade/Run A friend who did the run last year reports that it is quite a sight with thousands of people running! ** Registration ** DUE May 23! Please send registration information via email to crockett@cse.ogi.edu. Advance payment is preferred. Checks should be payable to Oregon Graduate Institute and should reference FMCS93. They should be mailed to: FMCS93 (Kerri Crockett) Computer Science and Engineering Oregon Graduate Institute 19600 NW von Neumann Dr. Beaverton, Oregon 97006 Name: Affiliation: Address: email: phone: registration fee (regular = $60, student = $45): _______ Vegetarian banquet meal? (yes/no) presentation? (yes/no) title: likely session: Accommodation: dorm rooms: (list nights needed) cost = $3.50 + ____ nights * $20 = $__.50 If you want to stay off campus please make those arrangements on your own. Extra Banquet tickets ($25/person): A few people suggested that it would have been fun to have a T-shirt from last year's workshop. Would you be interested in buying a T-shirt on site when you arrive? If so, what size? (Don't send money for T-shirts with your registrations!) ** Questions? ** If you have any questions or comments, please contact Jim Hook or Kerri Crockett at OGI. James Hook hook@cse.ogi.edu Phone: (503) 690-1169 Fax: (503) 690-1553 Kerri Crockett crockett@cse.ogi.edu Phone: (503) 690-1640 Department of Computer Science and Engineering Oregon Graduate Institute of Science & Technology 19600 N.W. von Neumann Drive Beaverton, OR 97006-1999 +++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ Subject: re: coequalisers again (note from moderator: several posts in reply to Paul's question follow, the delay in resending is due to my absence and a local shutdown - Bob)