Logical Methods in Computer Science is launched

Logical Methods in Computer Science (LMCS) was first announced in the wake of the departure of the editorial board of the Journal of Algorithms (JoA) at the end of 2003. The editors of JoA have gone on to establish ACM Transactions on Algorithms, the first issue of which is expected soon. LMCS "... is a fully refereed, open access, free, electronic journal. It welcomes papers on theoretical and practical areas in computer science involving logical methods, taken in a broad sense...." LMCS is an overlay journal of the Computing Research Repository (CoRR) which is a part of arXiv.org. Overlay journals use as the basis for article submission the e-prints/preprints deposited in disciplinary repositories. Advances in Theoretical and Mathematical Physics (ATMP) has been operating under this model since 1997. Logical Methods in Computer Science - Fulltext v1+ (2005+); ISSN: application pending.