some image logo










   Latex Style









We invite submissions to Logical Methods in Computer Science of original research and survey papers of the highest quality in all theoretical and practical aspects of computer science related to logic in a broad sense. The aim of Logical Methods in Computer Science is to combine a thorough refereeing process with a quick turnaround time: the great majority of papers are published within nine months of submission; and every accepted paper is published within one week of receipt in final form.

Logical Methods in Computer Science is a free, open-access electronic journal published under the auspices of the International Federation for Computational Logic IFCoLog. It is a overlay journal of the Computing Research Repository, CoRR, itself part of the arXiv e-print archive. Logical Methods in Computer Science is, therefore, widely, easily and dependably available via the 25 world-wide arXiv mirror sites. The arXiv e-print archive was founded in 1992 and is now widely used, with about 100,000 hits per day. The computer science part of this archive opened in 1998 in cooperation with the ACM.


Papers must be submitted to Logical Methods in Computer Science via the homepage using the online submission . This includes the choice of a handling editor from the Editorial Board displayed on the website; editors ' specialties and pointers to their homepages are provided to enable authors to choose an appropriate editor. The Executive Editor then assigns a handling editor, making every effort to respect the authors' choice. Authors receive an automatic immediate acknowledgement and will be contacted within two weeks by the handling editor who will oversee the review process.

Papers submitted to Logical Methods in Computer Science must be written in English, must be related, in a wide sense, to the topics of the journal, and should not exceed 5O pages. If authors feel substantially more pages are needed, they should explain why in the additional comments field. The submission is required to contain an ACM subject classification (which is used e.g. for readers' notification), other subject optional, and can be provided in a footnote. In case the author wishes to provide an additional version of the article in a different language than English, this version can also be referred to as a footnote which will connected (by clicking) directly to a submission as a pdf to CoRR.

Every submission should start with an introductory section. For long submissions the authors may consider providing a table of contents (if they and the handling editor agree that this is required for readability); it is always placed at the end of the introductory section and follows the Journal's style.

The abstract should provide a concise and understandable presentation of the main result(s). In general, the length of the abstract should not exceed 20 lines (in the provided style of the journal). The abstract should avoid mathematical symbols whenever possible. In case they cannot be avoided, the authors are requested to provide an html version of their abstract.


Each submission will generally be refereed by two or three referees. Based on the referee reports, the handling editor will choose between three options:

a. The paper is accepted for publication, possibly subject to minor revision. Authors are requested to prepare a final version accompanied by a detailed response to the referees ' comments.

b. A resubmission of the paper is recommended. This is the case where the editor concludes from the referee reports that the paper deserves publication, but requires the referees to review the new version. Only one resubmission is permitted; it is handled by the same editor; and it should be accompanied by a detailed response to the referees' comments.

c. The paper is not accepted for publication.


Logical Methods in Computer Science publishes only original papers which have not been published previously, nor submitted for publication elsewhere. Nevertheless, papers previously published in conference proceedings are usually eligible for publication, provided that the authors have permission to publish. In such cases the authors are requested to give a precise reference to the prepublication on the front page of their submissions, and to explain in "Comments to the Editor" to what extent the submission differs from their prepublication.


When a paper is accepted, authors should prepare their final version in the Logical Methods in Computer Science style and post it on the Computing Research Repository, CoRR as a Tex source file. They inform Logical Methods in Computer Science of their paper identification and password they obtained from CoRR via their author webpage. If asked by CoRR to select a license, they select the simple non-exclusive license to distribute. (See NOTE in Authors are expected, as a part of the Logical Methods in Computer Science quick turnaround time policy, to prepare their final version within one to two months after acceptance.

Publication of Revised Versions

In exceptional cases, for example if an error is discovered in a paper published by Logical Methods in Computer Science, authors may publish a revised version accompanied by a statement explaining the changes that have been made. Both versions will be available on the Logical Methods in Computer Science web site.

LMCS Additional material

Logical Methods in Computer Science supports the publication of additional material accompanying articles in the journal. The purpose of such material is educational. It is intended to help a reader understand the paper, especially an interested reader not currently involved in the field.

Additional material should be submitted in conjunction with a paper to be considered for publication.

One of the following formats are strongly recommended:

  • slides of a presentation of the contents of the paper (equivalent to a 30 min conference presentation)
  • presentations of a paper consisting of slides with synchronized audio (or audio+video) of approximately 30 min length

Slides should be in pdf format and for multimedia presentations the preferred format is the Windows Media Player format wmf (though other formats may be acceptable). Multimedia presentations must be made available for download.

Presentations that are clearly too long or short may be rejected immediately. The presentations may be recordings of conference talks of the subject matter of the paper.

Additional material is subject to a refereeing process, and the managing editors decide about acceptance of the material independently of the decision about the article: an article may be accepted although the additional material is not.

Submission of additional material

If you decide to submit your slides or video together with your paper please provide the file (in case of slides) or the URL (in case of a video) on the LMCS submission web site. In the optional step 4 of the submission procedure:

1.)Press "Upload a supplementary file."
2.)supply some title for the additional material
3.)choose Type = "Other"
4a.)in case of slides: choose a .pdf file near the bottom of the page
4b.)in case of a video: input the URL of a downloadable version of the video in the input line following "In case of large video files..." (it is not necessary to provide a username and password)
5.)Check "Make this file available to peer reviewers."


  1. It is not possible to supply slides and a video at the same time. If you want to submit both submit first one of the two, and then repeat step 4 with the second item as described above.
  2. Videos must be downloadable; streaming is not supported by our submission procedure.
  3. 3) Videos and slides must be submitted together with a paper.

Executive Editor Rights

The Executive Editor retains the right to require changes to papers after their acceptance by the handling editor. Such changes normally concern matters of style or format.