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 & ThatOn the Computational Verification of Anti-unification (Talk by Mauricio Ayala-Rincon (University Brasilia), 28/04/2025 13:30)Non-minimality of minimal telescopers explained by residues (Talk by Shaoshi Chen (KLMM, Academy of Mathematics and Systems Science, Chinese Academy of Sciences, Beijing (China)), 23/04/2025 14:00)Wü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