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

Important Dates

Abstract submission (extended!): ~~April 19, 2022~~ May 2, 2022
Paper submission (extended!): ~~April 26, 2022~~ May 9, 2022
Author notification: ~~June 3, 2022~~ June 7, 2022
Camera-ready paper versions due: ~~June 24, 2022~~ June 31, 2022
Workshop: August 11 - August 12, 2022

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