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

CFP: CTCS'02 and Grad Student Preconference

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