2nd International Joint Conference on Automated Reasoning