Title: 10th International Conference on Automated Deduction