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

Committees

Program Committee

Steering Committee