Return-Path: Received: from EDRC.CMU.EDU by POP.CS.CMU.EDU id aa16381; 14 Jul 94 13:06:36 EDT Received: from THEORY.LCS.MIT.EDU by EDRC.CMU.EDU id aa05495; 14 Jul 94 12:56:48 EDT Received: from vanuata.dcs.gla.ac.uk by theory.lcs.mit.edu (5.65c/TOC-1.2S) id AA17813; Thu, 14 Jul 94 11:43:07 EDT Resent-Message-Id: <199407141543.AA17813@theory.lcs.mit.edu> Message-Id: <199407141543.AA17813@theory.lcs.mit.edu> Received: from dcs.gla.ac.uk by goggins.dcs.gla.ac.uk id <03236-0@goggins.dcs.gla.ac.uk>; Thu, 14 Jul 1994 14:59:16 +0100 From: David Rydeheard Subject: Conference: Category Theory and Computer Science (CTCS) Date: Mon, 11 Jul 94 11:44:07 BST To: types@dcs.gla.ac.uk Old-Resent-From: types-request@dcs.gla.ac.uk Errors-To: types-request@dcs.gla.ac.uk Approved: types@dcs.gla.ac.uk Resent-Date: Thu, 14 Jul 1994 14:59:16 +0100 Resent-From: types@theory.lcs.mit.edu Resent-To: types-dist@theory.lcs.mit.edu [Since it is clearly relevant, I am distributing this conference announcement to types. General conference announcements should go to the Theory-A list: send announcements or requests to subscribe to THEORY-A@VM1.NoDak.EDU. -- Philip Wadler, moderator, Types Forum.] Preliminary Announcement and Call for Papers ------------------------------------------------------------------------ CATEGORY THEORY AND COMPUTER SCIENCE CTCS-6 7th-11th August 1995 University of Cambridge, UK. ------------------------------------------------------------------------ The sixth of the biennial conferences on Category Theory and Computer Science is to be held in Cambridge in 1995, in conjunction with the third Cambridge Summer Meeting in Category Theory. 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: Models of computation Program logics and specification Type theory and its semantics Domain theory Linear logic and its applications 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, Paris and Amsterdam. It is anticipated that the proceedings will be published by Springer in the LNCS series. IMPORTANT DATES Submission of papers February 1, 1995 Notification of acceptance April 14, 1995 Final papers due June 1, 1995 SUBMISSION OF PAPERS. Authors should send 5 hard copies of a draft paper (maximum of 20 pages) to Dr. David Pitt, Department of Mathematical and Computing Sciences, University of Surrey, Guildford, Surrey, GU2 5XH, United Kingdom. LOCAL ARRANGEMENTS Dr. Peter Johnstone, Department of Pure Mathematics and Mathematical Statistics, 16 Mill Lane, Cambridge, CB2 1SB, United Kingdom. Registration forms for the joint conference will be available nearer to the date. Organising and programme committee: S. Abramsky, P.-L. Curien, P. Dybjer, P. Johnstone, G. Longo, G. Mints, J. Mitchell, E. Moggi, D. Pitt, A. Pitts, A. Poigne, D. Rydeheard, F-J. de Vries, E. Wagner. -------------------------------------------------------------------------------