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
Get Informed
Peter Paule-by-BLCKAT-13-No-3417

This & That

Carsten Schneider new Full Professor at RISC

PhD Position in Computational Logic

Fellowship/Employment Packages for Master Students in IT and Related Areas

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

Book “Thinking Programs” by Wolfgang Schreiner

Wolfram Innovator Award 2021 to Bruno Buchberger

Good bye, Tudor

Good bye, Franz

Nicolas Smoot received the JKU Young Researchers’ Award

Congratulations: Veronika Pillwein elected SIGSAM Chair

JKU Computer Science Talks

JKU Math Talks

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