Automated Deduction -- CADE-24 | Kaicus Deutschland