10th Workshop on Practical Aspects of Automated Reasoning
Home
Important Dates
Call for Papers
Accepted Papers
Proceedings
Program
Registration
Committees
Are now available as Vol-4241 of CEUR workshop proceedings.