16/07/2026: RISC Summer 2026: Internationale Spitzenforschung zu Künstlicher Intelligenz und Symbolischer Mathematik