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

CTCS-Final CFP and deadline extension




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/.