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

Important Dates

Abstract submission: ~~April 5, 2024~~ April 19, 2024
Paper submission: ~~April 12, 2024~~ April 26, 2024
Author notification: June 1, 2024
Camera-ready paper versions due: June 21, 2024
Workshop: July 2, 2024

We encourage authors to submit their contributions as early as possible. See Paper Submission for details.