Skip to content
RISC - Johannes Kepler University
MENU
RISC
Research Institute for Symbolic Computation
  • Home
  • Research
    • Research Topics
    • Projects
    • Publications
    • Software
  • Education
    • Study at RISC
    • Courses
    • Theses
  • Applications
  • News
    • News
    • Press
  • Events
    • Talks
    • Conferences
  • People
    • Members
    • Visitors
    • Former Members
    • Jobs
  • About Us
    • About RISC
    • How to find us
    • The Castle of Hagenberg
    • RISC Extension
    • About the RISC Logo
    • Partners
    • Internals

Study at RISC

Earn your Bachelor/Master/PhD Degree at RISC
Regular Seminars for Bachelor-/Master-Students
Computer Algebra and Applications Seminar
Formal Methods and Automated Reasoning Seminar
Get Informed
RISC - Johannes Kepler University Linz Austria

This & That

A PVS Library on Infinitude of Primes (Talk by Thaynara Arielly de Lima (Goias Federal University), 19/05/2025 13:30)

Würdigungspreis des Bundesministeriums für Bildung, Wissenschaft und Forschung an Jakob Obrovsky

Habilitation Dr. Cristian-Silviu Radu

JKU Young Researchers Award to Philipp Nuspl

Lange Nacht der Forschung at RISC

ÖMG Students Prize to Dr. Koustav Banerjee

Best PhD Thesis Award (ÖMG) to Dr. Banerjee

SAGEX – At the Frontier of Physics

JKU Math Talks

More News

Research

Latest Research Results from RISC
Get Fascinated

Applications

in Science & Industry
Get Involved

Phone: +43 732 2468 9921
Fax: +43 732 2468 9930
eMail: secretary@risc.jku.at
WWW: https://www.risc.jku.at
Office: Monday-Thursday 8-16h, Friday 8-12h.

Postal Address
Research Institute for Symbolic Computation (RISC)
Johannes Kepler University
Altenbergerstraße 69
4040 Linz, Austria

Visitor Address
Research Institute for Symbolic Computation (RISC)
Schloss Hagenberg (Castle of Hagenberg)
Kirchenplatz 5b
4232 Hagenberg im Mühlkreis, Austria

  • Impressum
  • How to find us
  • GDPR
Wir verwenden Cookies auf unserer Website. Durch Klicken auf OK oder Scrollen stimmen Sie der Verwendung von Cookies zu. Weitere Informationen finden Sie im ImpressumOk