Logical Methods in Computer Science

Logical Methods in Computer Science is a fully refereed, open access, free, electronic journal. It welcomes papers on theoretical and practical areas in computer science involving logical methods, taken in a broad sense; some particular areas within its scope are listed below. Papers are refereed in the traditional way, with two or more referees per paper. Copyright is retained by the author.

Full-text access to all papers is freely available. No registration or subscription is required, and a free email notification service is available.

The journal is published by Logical Methods in Computer Science e.V., a non-profit organization whose purpose is to facilitate the dissemination of scientific results pertaining to logic in computer science.

Papers can be submitted electronically as pdf-files. On acceptance, authors are asked to provide a source tex file as specified in the Information for Authors. Even though the Journal is divided into volumes for convenience, papers are published on the internet as soon as they are accepted for publication. The goal is to have a fast turnaround of about nine months from submission to publication.

Editor-in-Chief

Stefan Milius

Friedrich-Alexander Universität Erlangen-Nürnberg

Executive Editors

Brigitte Pientka

McGill University Montreal

Fabio Zanasi

University College London