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 & ThatHonorary Citizenship of Hagenberg to Prof. PauleSCML 2026: International Conference on Symbolic Computation and Machine Learning at RISCSCDDE 2026: International Workshop on Symbolic Computation and Differential and Difference Equations at RISC2nd edition of the book “Thinking Programs” by Wolfgang SchreinerGeorg Regensburger new professor at RISCHonorable Mention Award to Mauricio Ayala-Rincon, Thaynara Arielly de Lima, Maria Julia Dias Lima, Mariano Miguel Moscato and Temur KutsiaKepler-Award for best teaching to Wolfgang WindsteigerLange Nacht der Forschung at RISCSAGEX – At the Frontier of PhysicsJKU Math TalksMore News
