Logical Methods in Computer Science

Logical Methods in Computer Science is a peer-reviewed open access scientific journal covering theoretical computer science and applied logic. It opened to submissions on September 1, 2004. The editor-in-chief is Stefan Milius.

History

The journal was initially published by the International Federation
for Computational Logic, and then by a dedicated non-profit. It moved to the platform in 2017. The first editor-in-chief was Dana Scott. In its first year, the journal received 75 submissions.

Abstracting and indexing

The journal is abstracted and indexed in Current Contents/Engineering, Computing & Technology, Mathematical Reviews, Science Citation Index Expanded, Scopus, and Zentralblatt MATH. According to the Journal Citation Reports, the journal has a 2016 impact factor of 0.661.