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 published by the non-profit association Logical Methods in Computer Science e.V.

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

Financial support by the following organizations and institutions is greatly appreciated:

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.