9th Workshop on Practical Aspects of Automated Reasoning
Home
Important Dates
Call for Papers
Accepted Papers
Proceedings
Program
Registration
Committees
Invited Speakers
The proceedings of PAAR 2024 have been published via CEUR-WS.org:
Chris Brown, Daniela Kaufmann, Cláudia Nalon, Alexander Steen, Martin Suda (Editors), Practical Aspects of Automated Reasoning, and Satisfiability Checking and Symbolic Computation Workshop 2024. CEUR Workshop Proceedings, Vol. 3717, CEUR-WS.org, urn:nbn:de:0074-3717-7, 2024.
The proceedings are open-access and freely accesible via https://ceur-ws.org/Vol-3717/.