8th Workshop on Practical Aspects of Automated Reasoning
Registration to PAAR 2022 is handled via the central registration of FLoC 2022, see their website for details.
Early registration starts: May 1, 2022
Early registration closes: June 20, 2022
Regular registration closes: June 30, 2022