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

Proceedings

The proceedings of PAAR 2022 have been published via CEUR-WS.org:

Boris Konev, Claudia Schon, Alexander Steen (Editors), Practical Aspects of Automated Reasoning 2022. CEUR Workshop Proceedings, Vol. 3201, CEUR-WS.org, urn:nbn:de:0074-3201-6, 2022.

The proceedings are freely accesible via http://ceur-ws.org/Vol-3201/.