Second International Joint Conference on Automated Reasoning