From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/2430 Path: news.gmane.org!not-for-mail From: Rick Blute at Newsgroups: gmane.science.mathematics.categories Subject: Category Theory and Computer Science, TAC Special Volume Date: Thu, 28 Aug 2003 08:27:56 -0300 (ADT) Message-ID: NNTP-Posting-Host: main.gmane.org X-Trace: ger.gmane.org 1241018653 4129 80.91.229.2 (29 Apr 2009 15:24:13 GMT) X-Complaints-To: usenet@ger.gmane.org NNTP-Posting-Date: Wed, 29 Apr 2009 15:24:13 +0000 (UTC) To: categories@mta.ca Original-X-From: rrosebru@mta.ca Thu Aug 28 08:43:15 2003 -0300 Return-path: Envelope-to: categories-list@mta.ca Delivery-date: Thu, 28 Aug 2003 08:43:15 -0300 Original-Received: from Majordom by mailserv.mta.ca with local (Exim 4.10) id 19sLBC-0000yo-00 for categories-list@mta.ca; Thu, 28 Aug 2003 08:43:06 -0300 Original-Sender: cat-dist@mta.ca Precedence: bulk X-Keywords: X-UID: 22 Original-Lines: 55 Xref: news.gmane.org gmane.science.mathematics.categories:2430 Archived-At: SPECIAL VOLUME OF THEORY AND APPLICATIONS OF CATEGORIES (TAC) Proceedings, Category Theory and Computer Science CTCS'02 Guest Editors - Rick Blute(Ottawa) and Richard Wood (Dalhousie) Call for Papers http://www.tac.mta.ca/tac/ This special volume of Theory and Applications of Categories is devoted to the proceedings of the 2002 conference Category Theory and Computer Science, held at the University of Ottawa. The purpose of the conference series is the advancement of the foundations of computing using the tools of category theory. Indeed, category theory provides one of the key tools in the analysis of the interaction between logic and the theory of computation. The extent to which category theory has influenced these areas can be seen from the following list of topics, which are typical of the interests of this conference: -coalgebras and computing -concurrent and distributed systems -constructive mathematics -declarative programming and term rewriting -domain theory and topology -foundations of computer security -linear logic -modal and temporal logics -models of computation -program logics, data refinement, and specification -programming language semantics -type theory The list is by no means exhaustive. This special volume is devoted not just to journal versions of the papers which appeared in the proceedings, but is intended to showcase papers which emphasize any of the above topics. Papers will be refereed to the usual high standards of TAC. * Submission deadline: January 2nd, 2004. * Submissions, in pdf or ps format, should be sent to Rick Blute at . * Questions (e.g., about the appropriateness of a submission) and comments should be directed to the same address. * To expedite handling, authors should prepare their manuscripts following the instructions for contributors described in