Please note that we have extended the deadline by 4 days. cheers, Rick Blute Program Committee Chair +++++++++++++++++++++++++++++++++++ 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 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. 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. GRADUATE STUDENT PRECONFERENCE One new feature that CTCS will have this year is a "preconference" from August 12-14. 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) P. Scott (Ottawa) SUBMISSION OF PAPERS Papers should be submitted, preferably in electronic form, to ctcs02@mathstat.uottawa.ca. Papers are limited to 15 pages, and must be submitted in dvi, postscript, or pdf format, possibly gzipped and/or uuencoded, or sent as a standard email attachment. All submissions must be received by March 25th, 2002. If you cannot submit your paper electronically, please contact the program chair at ctcs02@mathstat.uottawa.ca. IMPORTANT DATES March 29th, 2002 Submission deadline May 20th, 2002 Notification of authors of accepted papers CONFERENCE HOMEPAGE Updated information is available from http://www.mathstat.uottawa.ca/lfc/ctcs2002/. 25-Mar-2002 22:03:49 -0400,1006;000000000000-00000000