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

Cleo Pau finished PhD studies

Posted on 10/06/202213/06/2022 by Wolfgang Windsteiger
Posted in Rewriting-related Techniques and Applications

Carsten Schneider appointed as Full Professor at RISC

Posted on 02/05/202204/05/2022 by Wolfgang Windsteiger
Posted in Computer Algebra for Combinatorics

New Book “Thinking Programs” by Wolfgang Schreiner

Posted on 09/11/2021 by Wolfgang Windsteiger
Posted in Formal Methods

Wolfram Innovator Award 2021 to Bruno Buchberger

Posted on 15/10/202121/10/2021 by Wolfgang Windsteiger
Posted in Automated Reasoning

Sebastian Falkensteiner finished PhD studies

Posted on 07/07/202021/07/2020 by Wolfgang Windsteiger
Posted in Computer Algebra for Differential Equations

Distinguished Paper Award ISSAC’2020 to Sebastian Falkensteiner

Posted on 24/06/202024/06/2020 by Wolfgang Windsteiger
Posted in Computer Algebra for Differential Equations

Corona-Virus: No Lectures at JKU and at RISC

Posted on 11/03/2020 by Wolfgang Windsteiger
Posted in Uncategorized

Habilitation Dr. Veronika Pillwein

Posted on 14/12/201814/12/2018 by Wolfgang Windsteiger
Posted in Uncategorized

Best Paper Award and Best Presentation Award at CICM 2018 for Alexander Maletzky

Posted on 17/08/201821/08/2018 by Wolfgang Windsteiger
Posted in Uncategorized

Herbrand Award 2018 for Bruno Buchberger

Posted on 19/07/201810/08/2018 by Wolfgang Windsteiger
Posted in Uncategorized

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