---------- Forwarded message ---------- Date: Mon, 27 Oct 2003 17:38:14 +0100 From: Thomas Hildebrandt <hilde@itu.dk> To: categories@mta.ca Subject: categories: CFP: 10th Conference on Category Theory and Computer Science (CTCS 2004) and Summer School 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/