some image logo







   In Progress












Logical Methods in Computer Sience publishes Special Issues of selected papers (e.g., a selection of papers from a conference, a festschrift, or dedicated to a specific topic) based on proposals of the highest quality presented to Stefan Milius, the managing editor for special issues. Special-issue articles are requested to be refereed to the same high standards of the articles of regular issues.

Each proposal should contain the name of the proposed guest editor(s), the rationale for the special issue, information about the selection procedure of submissions, and (as far as possible) the submissions and their authors. Logical Methods in Computer Science only considers proposal for special issues of larger conferences with refereed and previously published proceedings and where submissions are invited from among the best papers presented at the conference. Proposals for special issues devoted to workshops or to conferences with no prior refereed proceedings will not be considered. A festschrift is only considered in case of invited contributions, and so a festschrift proposal should also list invited authors and give the intended time schedule. The managing editors will then decide whether they accept the proposal. For special issues dedicated to a specific topic the same rules apply.

As a rule, one of the editors of Logical Methods in Computer Science will be asked to to act as a co-editor of the Special Issue. Guest editors are expected to follow the usual journal refereeing procedure; they are also expected not to co-author submissions to the Special Issue.

Every paper accepted for publication is published immediately in the then current, numbered, issue of Logical Methods in Computer Science. The Special Issue itself appears without an issue number on a separate Special Issue web page as a journal overlay. It will normally have a Guest editor preface.

Special issues should be completed about three years after the submission deadline. After this point the managing editors may decide to proceed to closing the special issue and move any remaining open papers to a regular issue.

Special Issue paper citations can have the form:

Special Issue on XXX
Logical Methods in Computer Science VOLUME (ISSUE:NUMBER) YEAR

(where XXX is the name of the Special Issue).