The ''Journal of Automated Reasoning'' was established in 1983 by
Larry Wos, who was its
editor in chief
An editor-in-chief (EIC), also known as lead editor or chief editor, is a publication's editorial leader who has final responsibility for its operations and policies.
The highest-ranking editor of a publication may also be titled editor, managing ...
until 1992. It covers research and advances in
automated reasoning, mechanical verification of
theorems, and other deductions in classical and non-classical
logic.
The journal is published by
Springer Science+Business Media. As of 2021, the editor-in-chief is
Jasmin Blanchette
Jasmin Christian Blanchette is a computer scientist working as a professor of theoretical computer science at the Ludwig Maximilian University of Munich.
Education
Blanchette earned a Bachelor of Science degree in computer science from the Uni ...
, an associate professor of computer science at the
Vrije Universiteit Amsterdam
The Vrije Universiteit Amsterdam (abbreviated as ''VU Amsterdam'' or simply ''VU'' when in context) is a public research university in Amsterdam, Netherlands, being founded in 1880. The VU Amsterdam is one of two large, publicly funded research ...
. The journal's 2019
impact factor is 1.431, and it is indexed by several science indexing services, including the
Science Citation Index Expanded
The Science Citation Index Expanded – previously entitled Science Citation Index – is a citation index originally produced by the Institute for Scientific Information (ISI) and created by Eugene Garfield. It was officially launched in 1964 and ...
and
Scopus.
References
External links
* {{Official, 1=https://www.springer.com/computer/theoretical+computer+science/journal/10817
Computer science journals
Logic journals
English-language journals
Publications established in 1983
Logic in computer science
Formal methods publications
Springer Science+Business Media academic journals