The Journal of Automated Reasoning is dedicated to the theory, implementation, and applications of logical reasoning by computer. The topics of interest are connected to computer science, mathematics, and philosophy. They include the development and use of automatic theorem provers, formal proof assistants, and related software tools such as model checkers; the design and study of the underlying logics and the theoretical properties of the proof systems used for discovering and expressing formal proofs; and the use of artificial intelligence techniques to guide the search for a proof.

Scientific and industrial applications are invaluable as case studies. They may concern the verification of hardware or software, where they can be used to establish correctness or security properties, or the formalization of mathematics, among many areas. Successful verification efforts yield lessons on how to use the tools better and how to enhance them. They also point to a future in which formal verification will be routine for critical computing infrastructure and for research in mathematics, computer science, and other disciplines that could benefit from the convenience and rigor of automated reasoning.

Editor-in-Chief
Tobias Nipkow,Technical University Munich, Germany

Editorial Board
Jeremy Avigad, Carnegie Mellon University, USA
Franz Baader, Technical University Dresden, Germany
Gilles Barthe, IMDEA Software Institute, Spain
David Basin, ETH Zürich, Switzerland
Armin Biere, Johannes Kepler University, Austria
Nikolaj Bjørner, Microsoft Research, Redmond, USA
Diego Calvanese, Free University of Bozen-Bolzano, Italy
Thomas Eiter, Technical University of Vienna, Austria
Amy Felty, University of Ottawa, Canada
Silvio Ghilardi, Università degli Studi di Milano, Italy
Reiner Hähnle, Technical University Darmstadt, Germany
John Harrison, Amazon, USA
Deepak Kapur, University of New Mexico, USA
K. Rustan M. Leino, Amazon, Seattle, USA
Xavier Leroy, INRIA Paris - Rocquencourt, France
Assia Mahboubi, INRIA, LS2N, Université de Nantes, France
Aart Middeldorp, University of Innsbruck, Austria
Dale Miller, LIX, École Polytechnique, France
Robert Nieuwenhuis, Technical University of Catalonia, Spain
Michael Norrish, CSIRO, Kensington, Australia
Lawrence C. Paulson, University of Cambridge, UK
Andreas Podelski, University of Freiburg, Germany
Ulrike Sattler, University of Manchester, UK
Renate A. Schmidt, University of Manchester, UK
Natarajan Shankar, SRI International, USA
Cesare Tinelli, University of Iowa, USA
Toby Walsh, National ICT Australia, Australia
Christoph Weidenbach, Max-Planck-Institute for Informatics, Germany
Hongseok Yang, KAIST, Daejeon, South Korea

Founding Editor
Larry Wos, Argonne National Laboratory, USA