Logical Methods in Computer Science

Logical Methods in Computer Science (commonly abbreviated as Log. Methods Comput. Sci.) is an open access journal of theoretical computer science. Founded in 2005, published by Logical Methods in Computer Science e.V. and hosted on the Episciences platform, it appears quarterly, with a 2025 impact factor of 0.8.Logical Methods in Computer Science（常用缩写 Log. Methods Comput. Sci.）是理论计算机科学的开放获取期刊，2005 年创刊，由 Logical Methods in Computer Science e.V. 出版并托管于 Episciences 平台，为季刊，2025 年影响因子为 0.8。^[1]

Scope

• Scope: the journal carries high-level theoretical work at the meeting point of logic and computer science, spanning automated deduction, proof theory, type theory, concurrency theory, program semantics, formal verification and quantum computation logic.学科定位： 期刊发表逻辑与计算机科学交叉的高水平理论成果，覆盖自动推理、证明论、类型论、并发理论、程序语义、形式验证、量子计算逻辑等方向。
• Editor routing: editors list the topics they handle, authors may submit to any editor of their choice with the executive editor retaining a right to reassign, and submissions are acknowledged at once with a handling editor named within two weeks.编委分工： 编委按主题分工列示所辖方向，作者可自行选择任一编委投递，编辑部保留改派的权利，投稿两日内即获确认并确定处理编辑。
• Publishing model: fully open access, the journal operates as an electronic overlay on the Episciences platform.出版模式： 期刊为完全开放获取，以电子叠加期刊形式在 Episciences 平台出版。
• Society publishing: the journal is published by its namesake non-profit association, Logical Methods in Computer Science e.V.学会出版： 期刊由同名非营利协会 Logical Methods in Computer Science e.V. 出版。
• Indexing and metrics: indexed in the Science Citation Index Expanded, the journal holds a second-quartile position in computer science theory and methods, with a 2025 impact factor of 0.8.收录与指标： 被科学引文索引扩展版收录，在计算机理论与方法类别中列第二区，2025 年影响因子为 0.8。^[2]

History

• Founded in 2005: the journal was launched in 2005 as an open access venue dedicated to logic and computation.2005年创刊： 期刊于 2005 年创刊，为逻辑与计算交叉方向提供了开放获取的专门园地。
• Platform history: the journal moved from its original lmcs-online.org site to the Episciences open access platform of the French national centre for direct scientific communication.平台沿革： 期刊自创站 lmcs-online.org 迁至法国国家科学传播中心的 Episciences 开放获取平台。
• Prize tradition: the journal runs a best paper award honouring the strongest publications of the year.奖项传统： 期刊设有最佳论文奖，表彰年度发表成果中的佼佼者。
• Recent metrics: the impact factor stood at 0.672 in 2019, 1.0 in 2024 and 0.8 in 2025.近年指标： 影响因子 2019 年为 0.672，2024 年为 1.0，2025 年为 0.8。
• Frequency: the journal appears quarterly, with occasional special issues.刊期： 期刊为季刊，另不定期推出专号。^[3]

Editors

• Editor-in-chief: the journal is led by Alexandra Silva of Cornell University.现任主编： 主编为 Alexandra Silva，任职于康奈尔大学。
• Executive editors: the executive editors are Brigitte Pientka of McGill University and Fabio Zanasi of University College London.执行编辑： 执行编辑为麦吉尔大学的 Brigitte Pientka 与伦敦大学学院的 Fabio Zanasi。
• Editorial board: over forty editors divide topics such as automated deduction, proof complexity, concurrency, logic and probability, quantum computation logic and formalized mathematics, drawn from the leading theoretical computer science centres of Europe and North America.编委构成： 编委四十余人，按自动演绎、证明复杂度、并发理论、概率逻辑、量子计算逻辑、形式化数学等主题分工，成员来自欧美各大理论计算机科学中心。^[4]
• Submission and peer review: manuscripts are lodged through the Episciences platform and refereed under the editor chosen by the authors.投稿与评审： 稿件经 Episciences 平台递交，由作者自选的编委组织评审。
• Editorial policy: the journal pairs theoretical rigour with open access, favouring results that become lasting references for logical methods in computer science.编辑方针： 期刊坚持理论严谨与开放获取并举，鼓励为计算机科学中的逻辑方法提供长期参照的成果。