CATEGORY THEORY AND COMPUTER SCIENCE (CTCS'02) AUGUST 15-17, 2002 University of Ottawa FIRST CALL FOR PAPERS 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. One new feature that CTCS will have this year is a "preconference", during which we will offer courses in the basic areas underlying the field of the conference. The goal is to prepare students to be able to attend and participate in CTCS. So anyone who has graduate students or advanced undergraduates who they think would be interested in attending should contact us. We anticipate having some funding from Centre de Recherches Mathematiques (CRM) to cover part of the costs. 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) P. Scott (Ottawa) Further details on submission and the publication forum will be given in the second call for papers. IMPORTANT DATES March 25th, 2002 Submission deadline May 20th, 2002 Notification of authors of accepted papers