From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/2747 Path: news.gmane.org!not-for-mail From: Logical Methods in CS Newsgroups: gmane.science.mathematics.categories Subject: New Journal Date: Mon, 5 Jul 2004 12:24:17 +0200 Message-ID: <200407051024.i65AOH925697@www.lmcs-online.org> NNTP-Posting-Host: main.gmane.org Mime-Version: 1.0 Content-Type: TEXT/PLAIN; charset=US-ASCII X-Trace: ger.gmane.org 1241018870 5600 80.91.229.2 (29 Apr 2009 15:27:50 GMT) X-Complaints-To: usenet@ger.gmane.org NNTP-Posting-Date: Wed, 29 Apr 2009 15:27:50 +0000 (UTC) To: Original-X-From: rrosebru@mta.ca Mon Jul 5 16:08:33 2004 -0300 Return-path: Envelope-to: categories-list@mta.ca Delivery-date: Mon, 05 Jul 2004 16:08:33 -0300 Original-Received: from Majordom by mailserv.mta.ca with local (Exim 4.10) id 1BhYor-0007Q7-00 for categories-list@mta.ca; Mon, 05 Jul 2004 16:08:01 -0300 Original-Sender: cat-dist@mta.ca Precedence: bulk X-Keywords: X-UID: 10 Original-Lines: 77 Xref: news.gmane.org gmane.science.mathematics.categories:2747 Archived-At: NEW JOURNAL----NEW JOURNAL----NEW JOURNAL----NEW JOURNAL----NEW JOURNAL -------------------------EXCUSE MULTIPLE COPIES----------------------- L O G I C A L M E T H O D S I N C O M P U T E R S C I E N C E Dear Colleague: We are writing to inform you about a new open-access, online, refereed journal: "Logical Methods in Computer Science". As an open-access publication, the journal will be freely available on the web. This new journal will be devoted to all theoretical and practical topics in computer science related to logic in a broad sense. You can find the homepage at http://www.lmcs-online.org The journal will open to submissions on September 1, 2004. It will be published under the auspices of The International Federation for Computational Logic: http://www.colognet.org/IFCoLog/. The journal will technically be published as an overlay of the Computing Research Repository (CoRR), see http://arxiv.org/archive/cs/intro.html. On the homepage you find a flier and a leaflet containing the basic information about the new journal. We would appreciate your posting and distributing the information, and encouraging potential authors to submit to Logical Methods in Computer Science. You may have heard about the various developments in the past couple of years in regard to the Open Access movement, see, e.g.,: http://www.zim.mpg.de/openaccess-berlin/berlindeclaration.html http://www.plos.org/ http://www.earlham.edu/~peters/fos/overview.htm and the link "Landscape..." at the jornal website. The open-access idea is that knowledge, including scientific knowledge, should be widely and readily available to society, in a stable and long-term form. The Internet and electronic publishing provides an evident means to that end. Not unrelated are concerns arising from the increasingly high prices charged commercially. There are already a few open-access journals in Computer Science, e.g.: http://www.theoryofcomputing.org/ http://www.jair.org/ and http://www.ai.mit.edu/projects/jmlr/. We are convinced that now is the time to start one in our area of logic and computer science. Yours Sincerely, Jiri Adamek, Gordon D. Plotkin, Dana S. Scott and Moshe Y. Vardi