Title: 9th International Conference on Automated Deduction