PAAR 2024

9th Workshop on Practical Aspects of Automated Reasoning

Home
Important Dates
Call for Papers
Accepted Papers
Proceedings
Program
Registration
Committees
Invited Speakers

Previous workshops

Call for Papers/Submission

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.

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 (CEURART, one-column). 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 as Plaintext file.

Submission URL (EasyChair): https://easychair.org/conferences/?conf=paar2024