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 & ThatCourse “Logic” received the Kepler Award 2024Hearing Professorship “Computational Science”Ö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. studiesSAGEX – At the Frontier of PhysicsJKU Math TalksMore News