Subject: categories: CTCS '99 (Deadline 23 April 1999)

From: "Martin Hofmann" <[email-masked]>
Date: Tue, 30 Mar 1999 13:51:21 +0100 (BST)

CATEGORY THEORY AND COMPUTER SCIENCE (CTCS'99)
              10-12 SEPTEMBER 1999, EDINBURGH, SCOTLAND

                        SECOND CALL FOR PAPERS 

                   SUBMISSION DEADLINE: 23 APRIL 1999
                   CHANGED SUBMISSION PROCEDURE (see below)

CTCS '99 is the 8th 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. While
the emphasis is upon applications of category theory, it is recognized
that the area is highly interdisciplinary.

Topics of interest
- - ------------------
include but are not limited to category-theoretic
aspects of the following:

  concurrent and distributed systems  
  constructive mathematics  
  declarative programming and term rewriting 
  domain theory and topology 
  linear logic 
  models of computation 
  program logics, data refinement, and specification 
  programming language semantics 
  type theory

Previous meetings have been held in Guildford (Surrey), Edinburgh,
Manchester, Paris, Amsterdam, Cambridge, and S. Margherita Ligure
(Genova).

Programme committee
- - -------------------

J. Adamek		   TU Braunschweig (Germany)  
N. Benton		   Microsoft Research, Cambridge (UK)  
R. Blute		   U. Ottawa (Canada)  
T. Coquand		   Chalmers (Sweden)  
M. Escardo		   LFCS Edinburgh (UK)  
M. Hasegawa		   Kyoto Univ. (Japan)  
M. Hofmann  (Chair)        LFCS Edinburgh (UK)   
P. O'Hearn		   Queen Mary West (UK)  
D. Pavlovic		   Kestrel Institute (California)  
H. Reichel		   TU Dresden (Germany)  
G. Rosolini		   U. Genova (Italy)  
A. Scedrov		   U. Penn (Pennsylvania)

Organising Committee
- - --------------------

S. Abramsky LFCS           Edinburgh (UK)  
P. Dybjer                  Chalmers U. (Sweden)  
E. Moggi                   U. Genova (Italy)  
A. Pitts                   U. Cambridge (UK) 

Submission procedure
- - --------------------

E-mail your contribution as a PostScript file to the programme chair
([email-masked]) to be received by 23 April 1999. Alternatively,
you can send 5 hardcopies by air mail. Authors with restricted copying
facilities may also send a single hardcopy. Please make sure mail
submissions arrive before the deadline (we'll definitely take
submissions postmarked 7 April 1999 or earlier.). We would appreciate
an informal notification of intention to submit 2 weeks prior to the
deadline.

Papers should allow the Programme Committee to assess the merits of
the work: in particular references and comparisons with related work
should be included. Submission of material already published or
submitted to other Conferences with Proceedings is not allowed. There
is no strict page limit; however authors are strongly encouraged to
try not to exceed 20 A4 pages.

Conference proceedings will appear in Electronic Notes in Theoretical
Computer Science (http://www.elsevier.com/locate/entcs).  Paper copies
of the proceedings will be available to participants at the
conference.

Important dates 
- - ---------------

 9 April 1999     Notification of intention to submit  
23 April 1999     Submission deadline  
 4 June  1999     Notification of authors of accepted papers  
30 July  1999     Deadline for final versions of accepted papers

Address for paper submissions 
- - -----------------------------

Martin Hofmann  
Laboratory for Foundations of Computer Science  
Division of Informatics  JCMB, King's Buildings  
Mayfield Road  Edinburgh EH9 3JZ  Scotland

Local organization 
- - ------------------

Monika Lekuse  
Laboratory for Foundations of Computer Science  
Division of Informatics JCMB, King's Buildings  
Mayfield Road  Edinburgh EH9 3JZ  Scotland

Conference e-address     [email-masked] 
- - --------------------  

Conference homepage      http://www.dcs.ed.ac.uk/home/ctcs99
- - -------------------

Related event            2nd APPSEM workshop, 6-9 September 1999
- - -------------
 http://www.md.chalmers.se/Cs/Research/Semantics/APPSEM/index.html
- ------- End of forwarded message -------
------- End of forwarded message -------