Workshop on Practical Aspects of Automated Reasoning