8th Workshop on Practical Aspects of Automated Reasoning
Home
Important Dates
Paper Submission
Accepted Papers
Proceedings
Program
Registration
Committees
Invited Speakers
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