Proceedings of the 12th International Conference on Automated Deduction