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

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

Barbara Qi completes her PhD studies

Retirement Prof. Peter Paule

Best Paper Award CICM’2023

Philipp Nuspl completes his Ph.D. studies

Book “Concrete Abstractions” by Wolfgang Schreiner

SAGEX – At the Frontier of Physics

Book “Anti-Differentiation” by Johannes Blümlein and Carsten Schneider

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