Logical Methods in Computer Science is intended to become an internationally leading journal in theoretical computer science. Access is free and there are no page charges for authors. The journal will be open for paper submission on September 1, 2004