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

Course “Logic” received the Kepler Award 2024

Posted on 13/05/202413/05/2024 by Wolfgang Windsteiger
Posted in Uncategorized

Hearing: Professorship “Computational Science”

Posted on 10/05/202410/05/2024 by Wolfgang Windsteiger
Posted in Uncategorized

Best Paper Award CICM’2023

Posted on 07/09/202310/10/2023 by Wolfgang Windsteiger
Posted in Automated Reasoning, Rewriting-related Techniques and Applications

New Book “Concrete Abstractions” by Wolfgang Schreiner

Posted on 17/04/202310/10/2023 by Wolfgang Windsteiger
Posted in Formal Methods

Cleo Pau finished PhD studies

Posted on 10/06/202210/10/2023 by Wolfgang Windsteiger
Posted in Rewriting-related Techniques and Applications

Carsten Schneider appointed as Full Professor at RISC

Posted on 02/05/202210/10/2023 by Wolfgang Windsteiger
Posted in Computer Algebra and Applications

New Book “Thinking Programs” by Wolfgang Schreiner

Posted on 09/11/202110/10/2023 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/202010/10/2023 by Wolfgang Windsteiger
Posted in Computer Algebra for Differential Equations

Distinguished Paper Award ISSAC’2020 to Sebastian Falkensteiner

Posted on 24/06/202010/10/2023 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
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