8th Workshop on Practical Aspects of Automated Reasoning
Home
Important Dates
Paper Submission
Accepted Papers
Proceedings
Program
Registration
Committees
Invited Speakers
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/.