Logical Methods in Computer Science (LMCS) is a peer-reviewed journal in theoretical computer science and applied logic conceived in 2004. The first volume appeared in 2005. LMCS is significant in two principal respects: it has a distinguished editorial board (with Dana Scott as Editor-in-Chief until 2014), and is open access as it makes its content available through a Creative Commons-Attribution No Derivatives license. The journal is available under ISSN 1860-5974.