10th International Conference on Automated Deduction