CATEGORY THEORY AND COMPUTER SCIENCE (CTCS'02) AUGUST 15-17, 2002 GRADUATE STUDENT PRECONFERENCE AUGUST 12-14, 2002 University of Ottawa Ottawa, Ontario, Canada Final Call for Participation & Schedule 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: 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. The schedule is below. 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) email: rblute@mathstat.uottawa.ca P. Scott (Ottawa) email: phil@site.uottawa.ca HOTEL INFORMATION The deadline for special rates has now officially passed, but the hotels may still be willing to give the reduced rates, so we have included the details below. If you need assistance finding accomadations, please contact the organizers. We also have a limited number of dorm rooms available. If interested, please contact the local organizers. 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 Updated 06/24/2002: website: http://www.the.ramada.com/ottawa07853 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 # UNIV-814 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: July 14th, 2002 CONFERENCE HOMEPAGE Updated information is available at www.mathstat.uottawa.ca/lfc/ctcs2002 Registration forms are on the web site. 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). SCHEDULES CTCS Preconference Minicourses August 12th-14th ************************* Monday, August 12th =================== 9:00-10:20 S. Niefield, "Introduction to Category Theory I" 10:50-12:10 S. Niefield, "Introduction to Category Theory II" 12:10-2:00 LUNCH 2:00-3:20 P. Scott, "Introduction to Categorical Logic I" 3:50-5:10 P. Scott, "Introduction to Categorical Logic II" Tuesday, August 13th ==================== 9:00-10:20 P. Selinger, "Introduction to Concurrency Theory I" 10:50-12:10 J. Adamek, "Introduction to Coalgebras I" 12:10-2:00 LUNCH 2:00-3:20 R. Blute, "Introduction to Linear Logic I" 3:50-5:10 R. Cockett, "Introduction to Game Theory I" 7:00-9:00 Student Presentations Wednesday, August 14th ====================== 9:00-10:20 P. Selinger, "Introduction to Concurrency Theory II" 10:50-12:10 J. Adamek, "Introduction to Coalgebras II" 12:10-2:00 LUNCH 2:00-3:20 R. Blute, "Introduction to Linear Logic II" 3:50-5:10 R. Cockett, "Introduction to Game Theory II" CATEGORY THEORY AND COMPUTER SCIENCE August 15th-17th ************************* Thursday, August 15th ===================== 8:50-9:00 Welcome 9:00-10:00 Invited Speaker-Eric Goubault (CEA/Saclay) 10:00-10:15 Break 10:15-10:50 M. Coccia, F. Gadducci & U. Montanari, "GS-Lambda theories: A syntax for higher-order graphs" 10:55-11:30 R. Cockett & L. Santocanale, "Induction, coinduction and adjoints" 11:35-12:10 L. Schroder, "Classifying categories for partial equational logic" 12:10-2:00 Lunch 2-3:00 Invited Speaker-Guy McCusker (Sussex) 3:15-3:50 J. Laird, "A categorical semantics of higher order store" 3:55-4:30 P. Levy, "Adjunction models for call-by-push-value with stacks" 4:35-5:10 J. Hughes & B. Jacobs, "Factorization systems and fibrations" 5:30-6:30 Business Meeting Friday, August 16th =================== 9:00-9:35 S. Milius, "On iteratable endofunctors" 9:40-10:15 J. Adamek, S. Milius & J. Velebil, "On rational monads and free iterative theories" 10:15-10:30 Break 10:30-11:05 F. Lamarche, "Multiplicative linear logics and fibrations" 11:10-11:45 P. Boudes, "Non-uniform hypercoherences" 11:50-12:25 J. Koslowski, "A monadic approach to polycategories" 12:30-2:00 Lunch 2-3:00 Invited Speaker-Peter Selinger (Ottawa) 3:30-6 Reception at National Gallery Saturday, August 17th ===================== 9:00-10:00 Invited Speaker-Paul Syverson (Naval Research Laboratory) 10:00-10:15 Break 10:15-10:50 E. Haghverdi, G. Pappas & P. Tabuada, "Bisimulation relations for dynamical and control systems" 10:55-11:30 S. Abramsky & B. Coecke, "Physical traces: Quantum vs. classical information processing" 11:35-12:10 M. Hasegawa, "The uniformity principle on traced monoidal categories" 12:15-2:00 Lunch 2:00-2:35 S. Bloom & Z. Esik,"Unique, guarded fixed points in an additive setting" 2:40-3:15 M. Maietti, "Joyal's arithmetic universes via type theory" 3:15-3:30 Break 3:30-4:05 K. Worytkiewicz, "Paths and Simulations" 4:10-4:45 P. Taylor, "Local compactness and the Baire category theorem in abstract Stone duality" END OF CONFERENCE