Logical Methods in Computer Science

Via the PT list, I hear about a new open-access, online journal on computational logic, entitled Logical Methods in Computer Science. It’s run by Dana Scott, Gordon Plotkin, Moshe Vardi, and Jirí Adamek. In addition to regular papers, they will publish special issuse, e.g., containing selected papers from LICS. Here’s the email they sent advertising it:

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:


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)

Leave a Reply

Your email address will not be published. Required fields are marked *