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 & ThatÖMG Students Prize to Dr. Koustav BanerjeeBest PhD Thesis Award (ÖMG) to Dr. BanerjeeBarbara Qi completes her PhD studiesBest 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