From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/5191 Path: news.gmane.org!not-for-mail From: MYV Newsgroups: gmane.science.mathematics.categories Subject: FIVE YEARS OF LOGICAL METHODS IN COMPUTER SCIENCE Date: Thu, 15 Oct 2009 18:29:52 -0500 (CDT) Message-ID: Reply-To: MYV NNTP-Posting-Host: lo.gmane.org Mime-Version: 1.0 Content-Type: TEXT/PLAIN; charset=US-ASCII; format=flowed X-Trace: ger.gmane.org 1255657325 26348 80.91.229.12 (16 Oct 2009 01:42:05 GMT) X-Complaints-To: usenet@ger.gmane.org NNTP-Posting-Date: Fri, 16 Oct 2009 01:42:05 +0000 (UTC) To: Moshe Vardi Original-X-From: categories@mta.ca Fri Oct 16 03:41:55 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 1MybpF-0002Ib-GX for gsmc-categories@m.gmane.org; Fri, 16 Oct 2009 03:41:49 +0200 Original-Received: from Majordom by mailserv.mta.ca with local (Exim 4.61) (envelope-from ) id 1MybMh-00029r-U3 for categories-list@mta.ca; Thu, 15 Oct 2009 22:12:19 -0300 Original-Sender: categories@mta.ca Precedence: bulk Xref: news.gmane.org gmane.science.mathematics.categories:5191 Archived-At: Dear Colleague: We would like to bring the community up to date on the journal Logical Methods in Computer Science www.lmcs-online.org We started this fully refereed, open access, free electronic journal in January 2005, intending to create a high-level platform for publications in all theoretical and practical areas in computer science involving logical methods, taken in a broad sense. We are now on Issue 3 of Volume 5 (there are four issues a year). So far, we have received more than 350 submissions of which we have published 162. In addition to individual submissions, our journal publishes special issues, e.g., of selected papers of high-level international conferences such as LICS, IJCAR, CAV, CSL, and RTA. We are continuing actively to develop the journal. For example, we accept survey articles, and are developing `live' surveys, which can be continually updated as knowledge progresses. In another direction, we are considering allowing authors to provide additional material of an expository nature, such as slides and videos, to enable them to interest a wider spectrum of readers in their contribution. The journal is an overlay of CoRR, the computer science repository of arXiv. There are no fees for authors nor for readers. Every paper is refereed by two or more referees, and high standards are applied. The editorial board consists of about sixty top specialists in all areas of logic in computer science. The journal is covered by Mathematical Reviews, the ISI Web of Knowledge, and the DBLP Database. We welcome your comments and suggestions, and we seek your contributions! For more information please consult our web pages: www.lmcs-online.org Yours, Editor-in-Chief: Dana S. Scott Managing Editors: Benjamin C. Pierce Gordon D. Plotkin Moshe Y. Vardi Executive Editors: Jiri Adamek Stefan Milius [For admin and other information see: http://www.mta.ca/~cat-dist/ ]