The Journal of Automated Reasoning Special Issue on

Empirically Successful
Automated Reasoning

Call for Papers

With improving technology, theorem proving and related methods are successfully being applied to larger problems and used in more domains. To further disseminate developments and results in this area, a special issue of the Journal of Automated Reasoning dedicated to empirically successful automated reasoning will be published.

We invite submission of articles describing work on the implementation and deployment of working automated reasoning systems and applications. Both participants of the successful ESCAR-workshop at CADE-20 and other authors are invited to submit contributions. Submissions should be mature journal articles. They may address any aspect of "really working" systems and applications, and should not focus on theoretical ideas that have not yet been translated into working software.

Similar to the ESCAR-workshop, this special issue will have two tracks, one for systems and one for applications. Suggested topics include, but are not limited to:



Submission format

Submissions should be written in general terms understandable by the usual audience of the journal. They will be fully refereed to usual journal standards. Submissions should be formatted according to JAR's author guidelines, and preferably be written in LaTeX.


Websites and Submission procedure

Submission is via EasyChair (thanks to Andrei Voronkov). Please feel free to send any questions to esar-jar[@]