CATEGORY THEORY AND COMPUTER SCIENCE (CTCS'02)
			  AUGUST 15-17, 2002

		    GRADUATE STUDENT PRECONFERENCE
			  AUGUST 12-14, 2002

			 University of Ottawa
		       Ottawa, Ontario, Canada
		       
			SECOND 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
 Communication and Concurrency
 Game Semantics
 Linear Logic
 
Please contact us if you have graduate students or advanced
undergraduates who you think would be interested in attending. The
preconference will be partially funded by Centre de Recherches
Mathematiques (CRM, Montreal). A limited number of student travel
grants will be available; please contact the local organizers for
details.

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 25th, 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/.