PAAR 2022

8th Workshop on Practical Aspects of Automated Reasoning

Important Dates
Paper Submission
Accepted Papers
Invited Speakers

Previous workshops


Paper submission closed since May 9, 2022

Researchers interested in participating are invited to submit either an extended abstract (up to 8 pages) or a regular paper (up to 15 pages) via EasyChair. Those limits are references excluded. Submissions will be refereed by the program committee, which will select a balanced program of high-quality contributions. Short submissions that could stimulate fruitful discussion at the workshop are particularly welcome.

Note: A previous version of the call required authors to use the EasyChair latex style. This has been corrected to the latex style template, see details below.

Submissions should be in PDF. Final versions should be prepared in LaTeX using the style template CEURART available at An Overleaf template is also available. Paper need to be submitted through the EasyChair page. PAAR proceedings will be published electronically as CEUR workshop proceedings.

Call for Papers: Available on EasyChair Smart CFP or as Plantext file.

Submission URL (EasyChair):