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 & ThatMechanizing Combinatorial Applications of Compactness (Talk by Mauricio Ayala-Rincon (University Brasilia), 14/10/2024 13:30)Habilitation Dr. Cristian-Silviu RaduJKU Young Researchers Award to Philipp NusplVolksschule Hagenberg at RISCLange Nacht der Forschung at RISCCourse “Logic” received the Kepler Award 2024ÖMG Students Prize to Dr. Koustav BanerjeeBest PhD Thesis Award (ÖMG) to Dr. BanerjeeBarbara Qi completes her PhD studiesPhilipp Nuspl completes his Ph.D. studiesSAGEX – At the Frontier of PhysicsJKU Math TalksMore News