20/07/2026: RISC Summer 2026: International State-Of-The-Art Research On Artificial Intelligence and Symbolic Mathematics