PAAR 2024

9th Workshop on Practical Aspects of Automated Reasoning

Home
Important Dates
Call for Papers
Accepted Papers
Proceedings
Program
Registration
Committees
Invited Speakers

Previous workshops

Accepted Papers

The accepted papers at PAAR 2024 are (sorted alphabetically by first author’s last name):