some image logo

HOME

SEARCH

CURRENT ISSUE

REGULAR ISSUES

SPECIAL ISSUES

SURVEY ARTICLES

AUTHORS

ABOUT

SERVICE

LOGIN

FAQ

SUPPORT

CONTACT

SUPPORT

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. Technical support is provided by the Institute of Theoretical Computer Science of the Technische Universität Braunschweig. ITI (Institut für Theoretische Informatik), Braunschweig

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

EATCS (European Association for Theoretical Computer Science)EATCS (European Association for Theoretical Computer Science)
ETAPS (The European Joint Conferences on Theory and Practice of Software) ETAPS (The European Joint Conferences on Theory and Practice of 
Software)
CWI (Centrum Wiskunde & Informatica) Amsterdam CWI (Centrum Wiskunde & Informatica), Amsterdam

Logical Methods in Computer Science is technically supported by

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