[DL] New Journal
Logical Methods in CS
postmaster at www.lmcs-online.org
Mon Jul 5 13:20:45 CEST 2004
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
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
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.:
We are convinced that now is the time to start one in our area of logic
and computer science.
Gordon D. Plotkin,
Dana S. Scott
Moshe Y. Vardi
More information about the dl