[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.