Title: 8th International Conference on Automated Deduction
Subjects: Automatic theorem proving, Logic, symbolic and mathematical