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 managing editors, under the support of the Institute of Theoretical Computer Science of the Technische Universität Braunschweig.

Financial support by CWI (Centrum Wiskunde & Informatica) Amsterdam is greatly appreciated.

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