Title: Automated Deduction, International Conference Proceedings