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

Registration

Registration to PAAR 2022 is handled via the central registration of FLoC 2022, see their website for details.

Important dates

Early registration starts: May 1, 2022 Early registration closes: June 20, 2022 Regular registration closes: July 20, 2022