Preface: Volume 69

Abstract

This volume contains the proceedings of the 9th Conference on Category Theory and Computer Science (CTCS'02), which was held at the University of Ottawa from August 15-17, 2002. The purpose of this conference series is the advancement of the foundations of computing using the tools of category theory. Indeed, category theory provides one of the key tools in the analysis of the interaction between logic and the theory of computation. The extent to which category theory has influenced these areas can be seen from the following list of topics, which are typical of the interests of this conference: • 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 The list is by no means exhaustive. The vitality of the field is well displayed by the extremely high quality and the diversity of the 18 papers in this volume. For the first time in the history of CTCS, this year's conference was preceded by a “Graduate Student Preconference”, which took place from August 12-14 and which offered introductory courses in areas of importance to the conference. The response to this preconference was extraordinary, with more than 50 students and interested others taking part. This certainly suggests that the field of research of this conference will be strong and active for many years to come. The preconference offered courses in: • Introductory category theory (Susan Niefield) • Categorical logic (Philip Scott) • Concurrency theory (Peter Selinger) • Coalgebraic methods (Jiri Adamek) • Game theory (Robin Cockett) • Linear logic (Rick Blute) To hold this preconference, we received substantial funding from the Centre de Recherches Mathematiques (CRM). We thank them and Jacques Hurtubise, the Director of CRM, for their kind support. Without the help of many individuals in many different capacities, this conference would not have been possible. The editors would especially like to thank the following people: • The organizing committee: ◦ E. Moggi, Chair, (Genova) ◦ S. Abramsky (Oxford) ◦ P. Dybjer (Chalmers) ◦ B. Jay (Sydney) ◦ A. Pitts (Cambridge) • Local organizers: ◦ Rick Blute ◦ Philip Scott • The 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) • Lecturers in the student preconference: ◦ Susan Niefield (Union) ◦ Philip Scott (Ottawa) ◦ Robin Cockett (Calgary) ◦ Rick Blute (Ottawa) ◦ Jiri Adamek (Braunschweig) ◦ Peter Selinger (Ottawa)