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 & That2nd edition of the book “Thinking Programs” by Wolfgang SchreinerGeorg Regensburger new professor at RISCSCML: Symbolic Computation and Machine Learning (CfP)Honorable 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