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

CTCS '99 FIRST CALL FOR PAPERS]

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

                        FIRST CALL FOR PAPERS 


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.

Typical 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
(ctcs99@dcs.ed.ac.uk) to be received by 23 April 1999. Alternatively,
you can send 5 hardcopies by air mail to the program chair. Authors
with restricted copying facilities may also send a single
hardcopy. Please make sure mail submissions arrive before the deadline
(submissions postmarked 7 April 1999 will definitely be accepted). 

We would appreciate an informal notification of intention to submit 2
weeks prior to the deadline. It is anticipated to have at-conference
proceedings in the form of a Springer LNCS volume or similar. Details
about the publication forum will be given in the 2nd call for papers.


IMPORTANT DATES 

9 April 1999   Notification of intention to submit  
23 April 1999  Submission deadline 
4 June 1999    Notification of authors of accepted papers
2 July         Deadline for camera ready copies of accepted papers

ADDRESS FOR PAPER SUBMISSIONS

Martin Hofmann  (ctcs99@dcs.ed.ac.uk)
Laboratory for Foundations of Computer Science  
Division of Informatics  
JCMB, King's Buildings  
Mayfield Road  
Edinburgh EH9 3JZ
UK


LOCAL ORGANISATION

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


CONFERENCE E-ADDRESS
ctcs99@dcs.ed.ac.uk  

CONFERENCE HOMEPAGE
http://www.dcs.ed.ac.uk/home/ctcs99/
Watch this URL for later versions of this CFP and further information.

RELATED EVENT
2nd APPSEM workshop, 6-9 September 1999. 
------- End of forwarded message -------