Supporters

As a free web-based journal, Logical Methods in Computer Science relies on the generosity of many people and institutions for its operation. For example, our papers are carefully reviewed by anonymous referees who give generously of their time and their expertise. We gratefully acknowledge their essential contribution. If you want to support Logical Methods in Computer Science financially or offer your time to help running the journal please contact the executive editors.

The journal is supported by the following conferences whose steering committees are represented in the Executive Board of the journal: CONCUR, CSL, FoSSaCS, FSCD, ICALP, ICDT, IJCAR, LICS, MFCS, STACS

The journal is published by the non-profit association Logical Methods in Computer Science e.V.

Technical support is provided by Episciences.org and The Computing Research Repository (CoRR).

Financial support by KOALA is greatly appreciated: Logical Methods in Computer Science is part of the KOALA bundle in Mathematics and Computer Science 2024-2026. The journal receives EUR 24.000 p.a. which is used to pay for the layouting and publication of articles. 

In addition, financial support by the following organizations and institutions is greatly appreciated:

Reykjavik University Library

EATCS (European Association for Theoretical Computer Science)

ETAPS (The European Joint Conferences on Theory and Practice of Software)

CWI (Centrum Wiskunde & Informatica), Amsterdam Centrum Wiskunde & Informatica Amsterdam

The help of Christopher Horstmann with the graphical design of the web pages of the journal is gratefully acknowledged.