Automated Deduction - CADE-24 Proceedings of the Twenty-Fourth International Conference on Automated Deduction