SPECIAL ISSUES OF
LOGICAL METHODS IN COMPUTER SCIENCE

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 Benjamin Pierce, the managing editor for special issues.

The 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. The managing editors will then decide whether they accept the proposal.

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 Issue paper citations can have the form:

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