From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/1300 Path: news.gmane.org!not-for-mail From: "Martin Hofmann" Newsgroups: gmane.science.mathematics.categories Subject: CTCS '99 Special Issue in TCS Date: Thu, 16 Dec 1999 11:16:32 GMT Message-ID: <23970.199912161116__46976.9270079725$1241017735$gmane$org@craro.dcs.ed.ac.uk> NNTP-Posting-Host: main.gmane.org X-Trace: ger.gmane.org 1241017734 30602 80.91.229.2 (29 Apr 2009 15:08:54 GMT) X-Complaints-To: usenet@ger.gmane.org NNTP-Posting-Date: Wed, 29 Apr 2009 15:08:54 +0000 (UTC) To: categories@mta.ca Original-X-From: cat-dist Thu Dec 16 10:33:59 1999 Original-Received: (from Majordom@localhost) by mailserv.mta.ca (8.9.3/8.9.3) id IAA12675 for categories-list; Thu, 16 Dec 1999 08:49:33 -0400 (AST) X-Authentication-Warning: mailserv.mta.ca: Majordom set sender to cat-dist@mta.ca using -f Original-Sender: cat-dist@mta.ca Precedence: bulk X-Keywords: X-UID: 9 Original-Lines: 62 Xref: news.gmane.org gmane.science.mathematics.categories:1300 Archived-At: Call for Papers Special Issue of Theoretical Computer Science (TCS) on Categories in Computer Science Editors: J. Adamek, M. Escardo, M. Hofmann The eighth conference on Category Theory and Computer Science (CTCS'99) has been held in Edinburgh 10-12 September 1999. A special issue of the journal Theoretical Computer Science (TCS) will be devoted to journal versions of papers presented at that conference and other papers on the same topic. Submissions will undergo the usual refereeing process for TCS; authors of submissions are not required to have participated at CTCS'99. >>From the call for papers: "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. 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". See also http://www.dcs.ed.ac.uk/home/ctcs99 for the conference programme. Instructions to Authors ----------------------- Authors are invited to submit full original research papers. Papers should be submitted via email to ctcs99@dcs.ed.ac.uk as a postscript file, or by mailing a hard copy to Martin Hofmann Laboratory for Foundations of Computer Science JCM, Rm 2606 The King's Buildings Mayfield Rd Edinburgh EH9 3JZ UK before 31st March, 2000. Important Dates Submission Deadline: 31st March, 2000.