MAINTENANCE ALERT: Service interruption on Monday 11 July from 12:30 to 13:00, EPIsciences platform will be inaccessible (network hardware connection).


Purpose Of 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.

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.

Logical Methods in Computer Science is an overlay journal of the Computing Research Repository (CoRR): see

Topics of Logical Methods in Computer Science