From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/5378 Path: news.gmane.org!not-for-mail From: soloviev@irit.fr Newsgroups: gmane.science.mathematics.categories Subject: CFP MSCS special issue Commutativity of Categorical Diagrams Date: Thu, 17 Dec 2009 18:40:44 +0100 (CET) Message-ID: Reply-To: soloviev@irit.fr NNTP-Posting-Host: lo.gmane.org Mime-Version: 1.0 Content-Type: text/plain;charset=utf-8 Content-Transfer-Encoding: quoted-printable X-Trace: ger.gmane.org 1261101757 31661 80.91.229.12 (18 Dec 2009 02:02:37 GMT) X-Complaints-To: usenet@ger.gmane.org NNTP-Posting-Date: Fri, 18 Dec 2009 02:02:37 +0000 (UTC) To: categories@mta.ca Original-X-From: categories@mta.ca Fri Dec 18 03:02:30 2009 Return-path: Envelope-to: gsmc-categories@m.gmane.org Original-Received: from mailserv.mta.ca ([138.73.1.1]) by lo.gmane.org with esmtp (Exim 4.50) id 1NLSAi-0007sY-Jh for gsmc-categories@m.gmane.org; Fri, 18 Dec 2009 03:02:24 +0100 Original-Received: from Majordom by mailserv.mta.ca with local (Exim 4.61) (envelope-from ) id 1NLRnX-0000RX-K3 for categories-list@mta.ca; Thu, 17 Dec 2009 21:38:27 -0400 Original-Sender: categories@mta.ca Precedence: bulk Xref: news.gmane.org gmane.science.mathematics.categories:5378 Archived-At: Mathematical Structures in Computer Science Special Issue on Commutativity of Categorical Diagrams Guest Editors: Ralph Matthes and Sergei Soloviev Call for contributions Categorical diagrams have multiple applications in mathematics (algebra, topology) and computer science (models and metamodels, rewriting systems, higher order languages). Diagrams (understood less strictly) can be found in physics, chemistry and other scientific domains. Many similar problems arise in computer-assisted treatment of diagrams in all these domains, concerning algorithms, graphic interfaces, interaction with systems of computer algebra and other software. In spite of the importance of diagrammatic methods, they are relatively little developed and underrepresented in the world of computer-assisted reasoning. The main topics may be listed (non-exhaustively) as follows: algorithms that may be used in computer-assisted treatment of diagrams, categorical diagrams in computer algebra systems, categorical rewriting systems, formal systems for categories, type systems for diagrams, formal developments related to diagrams and category theory in proof assistants, elements of category theory in proof development and computations, diagrammatic reasoning in general. This special issue is partly intended as post-proceedings of CAM-CAD, a workshop held at IRIT, Toulouse, in October 2009 http://www.irit.fr/~Ralph.Matthes/CAMCAD09/ but the contributions are subject to normal refereeing procedure and not limited to the papers presented by the participants of that workshop. Deadlines Deadline for submissions: March 24, 2010 Author's notification: June 28, 2010 Submissions The submissions should be sent in PDF or Postscript to the guest editors via email: {matthes, soloviev}@irit.fr. Extended versions of work previously published in conference proceedings are eligible for submission but authors should make it clear how their submission improves upon the conference publication; in those cases where Cambridge University Press is not the publisher of the original conference proceedings, authors should take care to avoid infringing that publisher's copyright. Authors who wish to discuss potential submissions are encouraged to contact the guest editors. The Mathematical Structures in Computer Science journal's policy is to impose restrictions in advance neither on the number of papers nor their length. However, as the special issue is planned to contain approximately 240 pages, it is anticipated that it will consist of a mixture of papers ranging between 15 and 45 pages. Please send us a letter of intent before *** January 11, 2010 *** with a rough estimation of the length of your paper. Ralph Matthes and Sergei Soloviev, IRIT, Toulouse [For admin and other information see: http://www.mta.ca/~cat-dist/ ]