PAAR 2022

8th Workshop on Practical Aspects of Automated Reasoning

Home
Important Dates
Paper Submission
Accepted Papers
Proceedings
Program
Registration
Committees
Invited Speakers

Previous workshops

Submission

Submission deadline extended until May 2 (abstract) resp. May 10 (paper).

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 CEUR-WS.org latex style template, see details below.

Submissions should be in PDF. Final versions should be prepared in LaTeX using the CEUR-WS.org style template CEURART available at http://ceur-ws.org/Vol-XXX/CEURART.zip. 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): https://easychair.org/conferences/?conf=paar2022