7th International Conference on Automated Deduction