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 & ThatBest PhD Thesis Award (ÖMG) to Dr. BanerjeeBarbara Qi completes her PhD studiesRetirement Prof. Peter PauleBest Paper Award CICM’2023Philipp Nuspl completes his Ph.D. studiesBook “Concrete Abstractions” by Wolfgang SchreinerSAGEX – At the Frontier of PhysicsBook “Anti-Differentiation” by Johannes Blümlein and Carsten SchneiderJKU Math TalksMore News