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 & ThatPostDoc Position on Industrial Problem Solving Using Symbolic and Subsymbolic AILARD 2024 @ RISCWürdigungspreis des Bundesministeriums für Bildung, Wissenschaft und Forschung an Jakob ObrovskyHabilitation Dr. Cristian-Silviu RaduJKU Young Researchers Award to Philipp NusplLange Nacht der Forschung at RISCÖMG Students Prize to Dr. Koustav BanerjeeBest PhD Thesis Award (ÖMG) to Dr. BanerjeeSAGEX – At the Frontier of PhysicsJKU Math TalksMore News