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

[david%unix.computer-science.manchester.ac.uk@NSS.Cs.Ucl.AC.UK: Call for papers]



Date:     Wed, 3 Aug 88 10:59:32 BST
From: David Rydeheard <david%unix.computer-science.manchester.ac.uk@NSS.Cs.Ucl.AC.UK>
To: types@theory.lcs.mit.edu
Subject:  Call for papers

                           CALL FOR PAPERS

                         Summer Conference on
 
                  CATEGORY THEORY AND COMPUTER SCIENCE
                  ------------------------------------

                          6-8 SEPTEMBER 1989
                     University of Manchester, UK.


The third of the biennial conferences on category theory and computer science
is to be held in Manchester, UK, in 1989.

The purpose of the conference is to present activities relating category
theory to computer science. It will be an opportunity to exchange ideas
between computer science and mathematics. Topics of interest include, but are
not limited to:

        *   Semantics of programming languages
        *   Program specification
        *   Categorical logic
        *   Type theory
        *   Categorical programming

Proceeding of the previous two conferences have appeared as Springer LNCS
(240 and 283) and it is intended to publish the next proceedings in the same
series.

Organising and program committee:  
      Samson Abramsky, Peter Dybjer, Pierre-Louis Curien, 
      David Pitt, Andrew Pitts, Axel Poigne, David Rydeheard, 
      Don Sannella, Eric Wagner.

IMPORTANT DATES

      Submission of papers        March 1st 1989
      Notification of acceptance  May 15th  1989
      Final paper                 July 2    1989

Submission of Papers:
      Authors should send 5 copies of a draft to:

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