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

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

Volksschule Hagenberg at RISC

Lange Nacht der Forschung at RISC

Course “Logic” received the Kepler Award 2024

Hearing Professorship “Computational Science”

ÖMG Students Prize to Dr. Koustav Banerjee

In memory of Diego

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

Frau Mayr passes away at 97

Book “Concrete Abstractions” by Wolfgang Schreiner

Congrats! Koustav Banerjee finished his PhD studies

Symposium “Symbolic Computation and Beyond” in honor of Bruno Buchberger’s 80th birthday

SYNASC’2022 at RISC

SAGEX – At the Frontier of Physics

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

Master Thesis Lucas Payr

RISC Summer 2021

ADES Workshop at RISC

ADG 2021 at RISC

SCSS 2021 at RISC

Opal Prize to Bruno Buchberger

Two new doctors!

Professor of Symbolic Computation

Veronika Pillwein has been elected as one of three Members At-Large of the ISSAC Steering Committee

Josef Schicho elected editor-in-chief of the Journal of Symbolic Computation

Sebastian Falkensteiner finished his PhD studies

Distinguished Paper Award of ISSAC’2020 to Sebastian Falkensteiner

Corona-Virus: No Lectures at JKU and at RISC

15th International Symposium on Orthogonal Polynomials, Special Functions and Applications [OPSFA’15]

5th summer school “Algorithmic and Enumerative Combinatorics” (AEC 2019)

Habilitation Dr. Veronika Pillwein

Best Paper Award at CICM 2018 for Alexander Maletzky

Herbrand Award for Bruno Buchberger

JKU Computer Science Talks

JKU Math Talks

Happy Birthday, Peter!

Open positions in SFB Combinatorics

Open Positions in Doctoral Program

JKU Lit Project LOGTECHEDU

aec’2018 at RISC

Open Position in the ITN network SAGEX

CICM’2018 at RISC

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