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 & ThatHabilitation colloquium: Algorithms and theorems for proving identities related to modular functions (Talk by Cristian-Silviu Radu, 24/05/2024 10:00)Course “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 PhysicsBook “Anti-Differentiation” by Johannes Blümlein and Carsten SchneiderJKU Math TalksMore News