10th Workshop on Practical Aspects of Automated Reasoning
Home
Important Dates
Call for Papers
Accepted Papers
Proceedings
Program
Registration
Committees
Invited Speakers
Registration to PAAR 2026 is handled via the central registration system of FLoC 2026, see their website for details (costs and deadlines).