PAAR 2022

8th Workshop on Practical Aspects of Automated Reasoning

Home
Important Dates
Paper Submission
Accepted Papers
Proceedings
Program
Registration
Committees
Invited Speakers

Previous workshops

Invited Speakers

Geoff Sutcliffe (University of Miami)

Talk: TBA

Abstract: TBA

N.N.

Talk: TBA

Abstract: TBA