Avoid common mistakes on your manuscript.
It is my pleasure to announce that as of 1 January 2021, I have succeeded Tobias Nipkow as editor-in-chief of the Journal of Automated Reasoning. Owing to Tobias’s inspiring work and of course that of his predecessors and the entire team of editors, the journal is in an enviable position at the apex of automated and interactive theorem proving. Thank you, Tobias.
Several people have indicated that I have big shoes to fill. This is surely meant figuratively (although I would not want to be in Tobias’s shoes when shopping for shoes). So my guiding principle will be “Don’t break it if it ain’t broken.” The only change so far is the retirement of “proof pearls” as a separate article category, in consultation with Tobias. My main focus will be on learning the ropes, on advertising the journal to potential new authors and subcommunities, and on working with the editors and with Springer to ensure that the process from submission to published article is pleasant and efficient.
Jasmin Blanchette
Editor-in-chief
Journal of Automated Reasoning
Author information
Authors and Affiliations
Corresponding author
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
About this article
Cite this article
Blanchette, J. Message from the New Editor-in-Chief. J Autom Reasoning 65, 155 (2021). https://doi.org/10.1007/s10817-021-09587-y
Published:
Issue Date:
DOI: https://doi.org/10.1007/s10817-021-09587-y