CATEGORY THEORY AND COMPUTER SCIENCE (CTCS'02) AUGUST 15-17, 2002 GRADUATE STUDENT PRECONFERENCE AUGUST 12-14, 2002 University of Ottawa Ottawa, Ontario, Canada First Call for Participation ***************************************************************************** CTCS '02 is the 9th Conference on Category Theory and Computer Science. The purpose of the conference series is the advancement of the foundations of computing using the tools of category theory. The emphasis is upon applications of category theory, but it is recognized that the area is highly interdisciplinary. Typical topics of interest include, but are not limited to, category-theoretic aspects of the following: coalgebras and computing concurrent and distributed systems constructive mathematics declarative programming and term rewriting domain theory and topology foundations of computer security linear logic modal and temporal logics models of computation program logics, data refinement, and specification programming language semantics type theory Previous meetings have been held in Guildford (Surrey), Edinburgh (twice), Manchester, Paris, Amsterdam, Cambridge, and S. Margherita Ligure (Genova). This is the first time CTCS will be held in North America. The proceedings of the conference will be published as a special issue of ENTCS (Electronic Notes in Theoretical Computer Science). Paper copies of the proceedings will be available to participants at the conference. The conference will have 4 invited speakers, and they are: Eric Goubault (CEA/Saclay) Guy McCusker (Sussex) Peter Selinger (Ottawa) Paul Syverson (Naval Research Laboratory) GRADUATE STUDENT PRECONFERENCE One new feature that CTCS will have this year is a "preconference" from August 12-14. This is supported in part by a grant from CRM, the Centre de Recherches Mathematiques (Univ. of Montreal). The goal is to prepare students for CTCS, through mini-courses in the basic areas underlying the fields of the conference. We anticipate offering courses in the following areas: Introduction to Category Theory Introduction to Categorical Logic Coalgebras Communication and Concurrency Game Semantics Linear Logic PROGRAMME COMMITTEE Rick Blute, Chair (Ottawa) Robin Cockett (Calgary) Thierry Coquand (Chalmers) Andrea Corradini (Pisa) Thomas Ehrhard (Luminy) Ryu Hasegawa (Tokyo) Martin Hofmann (Munich) Bart Jacobs (Nijmegen) Michael Johnson (Macquarie) Dusko Pavlovic (Kestrel Institute) Alex Simpson (Edinburgh) ORGANIZING COMMITTEE E. Moggi, Chair, (Genova) S. Abramsky (Oxford) P. Dybjer (Chalmers) B. Jay (Sydney) A. Pitts (Cambridge) LOCAL ORGANIZING COMMITTEE R. Blute (Ottawa) rblute@mathstat.uottawa.ca P. Scott (Ottawa) phil@site.uottawa.ca, scpsg@matrix.cc.uottawa.ca HOTEL INFORMATION We have arranged several special hotel rates. Both hotels are within walking distance of the conference. We request that you make hotel reservations yourself. If there are any problems, please contact one of the local organizers. (Note that all prices are in Canadian dollars.) 1) Ramada Hotel & Suites Ottawa (Use Group Code 2451 to get special rates.) 111 Cooper Street Ottawa, ONTARIO K2P 2E3 CANADA Tel: 1-613-238-1331 FAX: 1-613-230-2179 email: ramada@ramada-ottawa.com website: www.ramada.ca/ottsuit.html This is avalable from Wednesday, August 14, 2002 to Sunday, August 18, 2002 (departure on Monday). Rate: $109.00 single or double occupancy Deadline: July 14th, 2002 2) Novotel Ottawa Hotel (Use Contract #0002166 and Reference #3878 to get special rates.) 33 Nicholas Street Ottawa, ONTARIO K1N 9M7 CANADA Phone:1-613-230-3033 or 1-800-668-6835 (Reservations worldwide-no charge dial) website: www.bestlodging.com/sites1/17534/index.shtml This is available from Wednesday, August 14, 2002 to Sunday, August 18, 2002 (departure on Monday). Rate: $129 single or double, $144 triple, $159 Quad Deadline: June 30th, 2002 We may also have a VERY limited number of university dorm rooms available at much cheaper rates. We will give them away on a first come, first served basis. Contact local organizers for this. CONFERENCE HOMEPAGE Updated information is available at http://www.mathstat.uottawa.ca/lfc/ctcs2002 . Registration forms will appear there within the next few days, as well as dormitory registration forms. Please register as soon as possible. (NOTE: CTCS is being held at U. Ottawa, but the conference registrar and coordinator is Ms. Gillian S. Murray, at Carleton University, as shown on the Registration Forms). A complete list of accepted papers will appear in the second call for participation. 23-May-2002 05:23:59 -0300,2437;000000000000-00000000