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 & ThatA PVS Library on Infinitude of Primes (Talk by Thaynara Arielly de Lima (Goias Federal University), 19/05/2025 13:30)On the Computational Verification of Anti-unification (Talk by Mauricio Ayala-Rincon (University Brasilia), 28/04/2025 13:30)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