Logic List Mailing Archive

New journal "Logical Methods in Computer Science"

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


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.,:


and the link


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.jair.org/ and

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
Moshe Y. Vardi