From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Original-To: caml-list@yquem.inria.fr Delivered-To: caml-list@yquem.inria.fr Received: from concorde.inria.fr (concorde.inria.fr [192.93.2.39]) by yquem.inria.fr (Postfix) with ESMTP id 80A32BB9A for ; Tue, 25 Oct 2005 15:20:10 +0200 (CEST) Received: from pauillac.inria.fr (pauillac.inria.fr [128.93.11.35]) by concorde.inria.fr (8.13.0/8.13.0) with ESMTP id j9PDKAPP031347 for ; Tue, 25 Oct 2005 15:20:10 +0200 Received: from nez-perce.inria.fr (nez-perce.inria.fr [192.93.2.78]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id PAA22536 for ; Tue, 25 Oct 2005 15:20:09 +0200 (MET DST) Received: from www.lmcs-online.org (lmcs-online.iti.cs.tu-bs.de [134.169.39.100]) by nez-perce.inria.fr (8.13.0/8.13.0) with ESMTP id j9PDK9rD005923 for ; Tue, 25 Oct 2005 15:20:09 +0200 Received: (from root@localhost) by www.lmcs-online.org (8.11.6/8.11.6) id j9PCKCq01743; Tue, 25 Oct 2005 14:20:12 +0200 Date: Tue, 25 Oct 2005 14:20:12 +0200 Message-Id: <200510251220.j9PCKCq01743@www.lmcs-online.org> From: Logical Methods in CS Subject: Journal "Logical Methods in CS" To: Theory interrested people MIME-Version: 1.0 Content-Type: TEXT/PLAIN; charset=US-ASCII X-Miltered: at concorde with ID 435E310A.000 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Miltered: at nez-perce with ID 435E3109.000 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Spam: no; 0.00; lics:01 cav:01 lics:01 plotkin:01 moshe:01 2005.:98 leaflet:98 jiri:98 refereed:01 logical:01 logical:01 refereeing:03 referees:03 submissions:04 suggestions:05 X-Spam-Checker-Version: SpamAssassin 3.0.3 (2005-04-27) on yquem.inria.fr X-Spam-Level: X-Spam-Status: No, score=0.1 required=5.0 tests=FORGED_RCVD_HELO autolearn=disabled version=3.0.3 ---------------------------------------------------------------------- year 1 of a new journal year 1 of a new journal year one of a new journal -------------------------EXCUSE MULTIPLE COPIES----------------------- Dear Colleague: We are writing to inform you about the progress of the open-access, online journal "Logical Methods in Computer Science," which has recently benefited from a freshly designed web site, see: http://www.lmcs-online.org In the first year of its existence, the journal received 75 submissions: 21 were accepted and 22 declined (the rest are still in the editorial process). The first issue is complete, and we anticipate that will be three in all by the end of the calendar year. Our eventual aim is to publish four issues per year. We also publish Special Issues: to date, three are in progress, devoted to selected papers from LICS 2004, CAV 2005 and LICS 2005. The average turn-around from submission to publication has been 7 months. This comprises a thorough refereeing and revision process: every submission is refereed in the normal way by two or more referees, who apply high standards of quality. We would encourage you to submit your best papers to Logical Methods in Computer Science, and to encourage your colleagues to do so too. There is a flier and a leaflet containing basic information about the new journal on the homepage; we would appreciate your posting and distributing them, or otherwise publicising the journal. We would also appreciate any suggestions you may have on how we may improve the journal. Yours Sincerely, Dana S. Scott (editor-in-chief) Gordon D. Plotkin and Moshe Y. Vardi (managing editors) Jiri Adamek (executive editor)