[Prev][Next][Index][Thread]
CFP: 10th Conference on Category Theory and Computer Science (CTCS 2004) and Summer School
-
To: categories@mta.ca, types@cis.upenn.edu, concurrency@cwi.nl, proglang@diku.dk, prog-lang@brics.dk, ctcs04@itu.dk, appsem@cs.chalmers.se, lics@research.bell-labs.com
-
Subject: CFP: 10th Conference on Category Theory and Computer Science (CTCS 2004) and Summer School
-
From: Thomas Hildebrandt <hilde@itu.dk>
-
Date: Mon, 27 Oct 2003 17:38:14 +0100
-
List-Archive: <http://lists.seas.upenn.edu/pipermail/types-list>
-
List-Help: <mailto:types-list-request@lists.seas.upenn.edu?subject=help>
-
List-Id: TYPES forum <types-list.lists.seas.upenn.edu>
-
List-Post: <mailto:types-list@lists.seas.upenn.edu>
-
List-Subscribe: <http://lists.seas.upenn.edu/mailman/listinfo/types-list>, <mailto:types-list-request@lists.seas.upenn.edu?subject=subscribe>
-
List-Unsubscribe: <http://lists.seas.upenn.edu/mailman/listinfo/types-list>, <mailto:types-list-request@lists.seas.upenn.edu?subject=unsubscribe>
-
Sender: types-list-bounces+bcpierce=cis.upenn.edu@lists.seas.upenn.edu
-
User-Agent: Mozilla/5.0 (X11; U; Linux i686; en-US; rv:1.0.2) Gecko/20030208 Netscape/7.02
[----- The Types Forum, http://www.cis.upenn.edu/~bcpierce/types -----]
10th CONFERENCE ON
CATEGORY THEORY AND COMPUTER SCIENCE (CTCS'04)
AUGUST 12-14, 2004
AND
SUMMER SCHOOL
AUGUST 9-11, 2004
IT University of Copenhagen (ITU)
Copenhagen, Denmark
FIRST CALL FOR PAPERS
CTCS'04 is the 10th 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, S. Margherita Ligure (Genova), and
Ottawa.
The proceedings of the conference will be published as a special issue
of ENTCS (Electronic Notes in Theoretical Computer Science).
Invited Speakers:
Francois Bergeron
Martin Hyland
Robin Milner
Andrew Pitts
Thomas Streicher
SUMMER SCHOOL
Inspired by the success of the graduate student preconference of CTCS'02 in
Ottawa, the CTCS of this year will have a similar event: A summer school
from August 9-11. The goal is to prepare students - both graduate and
undergraduate, with basic knowledge of category theory - for CTCS, through
mini-courses in the basic areas underlying some of the fields of the
conference. We anticipate offering courses in among others the following
areas:
Coalgebras
Game Semantics
Categorical Models for Concurrency
Operational Semantics in Concurrency
PROGRAMME COMMITTEE
Lars Birkedal, Chair (IT University of Copenhagen)
Marcelo Fiore (University of Cambridge)
Masahito Hasegawa (Kyoto University)
Bart Jacobs (University of Nijmegen)
Ugo Montanari (University of Pisa)
Valeria de Paiva (Palo Alto Research Center)
Dusko Pavlovic (Kestrel Institute)
John Power (University of Edinburgh)
Edmund Robinson (University of London)
Peter Selinger (University of Ottawa)
ORGANIZING COMMITTEE
E. Moggi, Chair, (Genova)
S. Abramsky (Oxford)
P. Dybjer (Chalmers)
B. Jay (Sydney)
A. Pitts (Cambridge)
LOCAL ORGANIZING COMMITTEE
C. Butz
T. Hildebrandt
A.L. Moerk
SUBMISSION OF PAPERS
Papers should be submitted, preferably in electronic form, to
ctcs04@itu.dk. 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 April 9th, 2004. If you cannot submit
your paper electronically, please contact the program chair at
ctcs04@itu.dk.
IMPORTANT DATES
April 9th, 2004: Submission deadline
June 1st, 2004: Notification of authors of accepted papers
July 1st, 2004: Revised Papers Due
CONFERENCE HOMEPAGE
Updated information is available from
http://www.itu.dk/research/theory/ctcs2004
SPONSORSHIP
The conference and summer school are sponsored by the FIRST graduate school
(www.first.dk) and the Theory Department at the IT University of Copenhagen
(www.itu.dk/English/research/theory/