title: Logical Methods in Computer Science
text: # Logical Methods in Computer Science
  
  Logical Methods in Computer Science (LMCS) 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 (Friedrich-Alexander Universität Erlangen-Nürnberg).
  
  ## History
  
  The journal was initially published by the International Federation for Computational Logic, and then by a dedicated non-profit. It moved to the Épisciences [fr]. 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.
  
  