10/05/2026: RISC International Master’s Program in Symbolic Computation and Artificial Intelligence