Study at RISCEarn your Bachelor/Master/PhD Degree at RISCRegular Seminars for Bachelor-/Master-Students Computer Algebra and Applications SeminarFormal Methods and Automated Reasoning SeminarGet Informed
This & ThatAI for Mathematics: From Symbolic Intelligence to Scientific Discovery (Talk by Ido Kaminer (Technion - Israel Institute of Technology), 27/06/2025 10:00)Würdigungspreis des Bundesministeriums für Bildung, Wissenschaft und Forschung an Jakob ObrovskyHabilitation Dr. Cristian-Silviu RaduJKU Young Researchers Award to Philipp NusplLange Nacht der Forschung at RISCÖMG Students Prize to Dr. Koustav BanerjeeBest PhD Thesis Award (ÖMG) to Dr. BanerjeeSAGEX – At the Frontier of PhysicsJKU Math TalksMore News