HomeCommunityCFP: 28th International Conference on Automated Deduction (CADE-28)