[Prev][Next][Index][Thread]

CTCS '02




           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