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