Category Theory and Computer Science, Sep. 7-10, '93, Amsterdam

To: types, logic
Subject: Category Theory and Computer Science, Sep. 7-10, '93, Amsterdam
From: David Rydeheard <david@computer-science.manchester.ac.uk>
Date: Wed, 02 Sep 92 11:58:02 EDT
Sender: meyer@theory.lcs.mit.edu
Date: Wed, 2 Sep 92 15:46:47 BST

                                 1993
              ********* Preliminary Announcement ***********
              *                                            * 
              *    CATEGORY THEORY AND COMPUTER SCIENCE    *
              *    ------------------------------------    *
              *                                            *  
              *          Fifth Biennial Meeting            * 
              *                                            *
              **********************************************
                       
                                CTCS-5
    
                 Dates: 7th-10th September 1993.
                 Venue: CWI, Amsterdam, The Netherlands.


The fifth of the biennial conferences on category theory and computer science
is to be held in Amsterdam in 1993. 

The purpose of the conference series is the advancement of the foundations of
computing using the tools of category theory, algebra, geometry and logic.
Whilst the emphasis is upon applications of category theory, it is recognised
that the area is highly interdisciplinary and the organising committee welcomes
submissions in related areas. Topics central to the conference include:
        *   The semantics of computation
        *   Program logics and specification
        *   Type theory and its semantics
        *   Domain theory
        *   Linear logic and its semantics
        *   Categorical programming
Submissions purely on category theory are also acceptable as long as the
applicability to computing is evident.

Previous meetings have been held in Guildford (Surrey), Edinburgh, Manchester
and Paris. The format of this fifth meeting is to differ from previous meetings. Abstracts of talks are to be submitted to the organiser (details below).
These will undergo a preliminary selection procedure and authors will be
notified of the result.  Proceedings of the conference will appear in a special issue of the
journal Mathematical Structures in Computer Science.  All contributors
to the conference will be invited to submit full papers to the special issue.
Submissions will undergo the usual refereeing process for MSCS,
which accepts only very high standard contributions.

Organising and program committee:  
      S. Abramsky,  P.-L. Curien, P. Dybjer, G. Longo, G. Mints, 
      J. Mitchell, E. Moggi, D. Pitt, A.Pitts, A. Poigne, D. Rydeheard, 
      F-J. de Vries, E. Wagner.

IMPORTANT DATES

      Submission of abstracts of talks     25th May 1993
      Notification of acceptance           1st July 1993

Submission of Abstracts.
 
      Authors should send 3 hard copies of an abstract and a cover
      page (preferably in 11pt LaTeX format) to: 

          Dr. David Pitt, 
          Department of Mathematics
          University of Surrey,
          Guildford, Surrey GU2 XH
          United Kingdom.

          email: d.pitt@mcs.surrey.ac.uk 
      Authors without access to reproduction facilities may submit a 
      single copy of their submission. 

      The cover page of the submission should include the title, authors, 
      a brief synopsis, and the corresponding author's name, address, 
      phone number, fax number, and e-mail address if available.  
      Abstracts should consist of no more than 3 (three) A4 sides (not 
      including references). They must be in English, clearly written, and 
      provide sufficient detail to allow the program committee to assess 
      the merits of the paper.  Each submission should make clear the 
      advances made by the authors, the relevance to the subject, the 
      background involved and the relationship to other work in the
      area. If the authors believe that more details are essential to
      substantiate the main claims of the paper, they may include a 
      clearly marked appendix to be read at the discretion of the 
      committee.  Late abstracts, or those departing significantly from 
      these guidelines, run a high risk of rejection.

Local Arrangements: These will be notified later. The local co-ordinator is:

	  Dr. Fer-Jan de Vries
	  Department of Software Technology
   	  CWI
	  Kruislaan 413
	  1098 SJ Amsterdam
	  The Netherlands

          email: F.J.de.Vries@cwi.nl