6th Conference on Automated Deduction