SURVEY ARTICLES OF
LOGICAL METHODS IN COMPUTER SCIENCE

We invite submissions to Logical Methods in Computer Science of survey papers of the highest quality in all theoretical and practical aspects of computer science related to logic in a broad sense. Surveys should have some original element to be publishable. For example, they may make new connections between areas that were previously not connected, or present a new exposition of a body of work as a coherent whole, perhaps revealing some new underlying principles.

To submit a survey, please follow the usual submission process for papers.

Every survey article accepted for publication is published immediately in the then current, numbered, issue of Logical Methods in Computer Science. It also appears without an issue number on the Survey Articles at the same time.