RISC - Research Institute for Symbolic Computation

10/08/2022

Completely forgot to mention: Since May 2nd Carsten Schneider is full professor at RISC as successor of Franz Winkler!

24/03/2022

✨ Forschung und Wissenschaft für DICH ✨

Die Lange Nacht der Forschung ist Österreichs größte Publikumsveranstaltung, um dir Wissenschaft und Forschung aus Österreich zu zeigen.

Über 250 Teams bereiten sich vor, um dir zu zeigen, woran sie arbeiten. Egal, ob du an Forschung und Wissenschaft interessiert bist, oder noch nicht. Ob du Vorkenntnisse mitbringst, oder nicht. Jedes Team freut sich darauf, mit dir Experimente durchzuführen, dich zum Staunen zu bringen und dich in die Welt der Wissenschaft mitzunehmen. Hautnah zum Erleben und Mitmachen, um gemeinsam in diese faszinierende Welt einzutauchen.

Du möchtest die Menschen hinter Österreichs Forschung & Wissenschaft kennenlernen? Dann sei dabei am 20. Mai 2022. Abonniere unseren Kanal Die Lange Nacht der Forschung auf Facebook & Instagram, um keine Neuigkeiten zu verpassen!

24/03/2022

Folgende oö. Regionen sind heuer bei der Langen Nacht der Forschung dabei: Braunau, Grieskirchen, Hagenberg, Linz, Mondsee, Perg, Ried, Schärding, Steyr, Vöcklabruck und Wels.

Einblicke in Technologien von heute und morgen, spannende Vorträge und Diskussionen sowie Führungen und Mitmachstationen erwarten euch! 🤩🔎

24/03/2022

In den kommenden Wochen informieren wir euch näher über die einzelnen Stationen der LNF Oberösterreich. Dazu könnt ihr euch auf tolle Gewinnspiele freuen! 🤩

Empfiehlt unsere Seite gerne weiter, dann haben mehr Leute etwas davon. Danke!

28/07/2021

Dr. Anna Kiesenhofer, a mathematician at the EPFL researching nonlinear partial differential equations which arise in mathematical physics, won an Olympic gold medal in the Women's Individual Road Race.

🔗 https://bit.ly/3BJbcby

[Photo by: Bettini Photo]

26/03/2021

🎊 TUW-Informatikerin Laura Kovacs erhält einen der hochdotierten Amazon Research Awards. Herzliche Gratulation! 👏

An der TU Wien arbeitet sie mit ihrem Team an logischen Methoden, mit denen man Softwarefehler zuverlässig und präzise nachweisen kann. Um diese weiter vorantreiben zu können, wurde sie nun mit einem „Amazon Research Award“ ausgezeichnet, dotiert mit EUR 50.000.

➡️ https://www.tuwien.at/tu-wien/aktuelles/news/news/auszeichnung-fuer-laura-kovacs

Foto: Luiza Puiu

16/12/2020

Laudatio: Vorjahressieger Gerhard Eschelbeck über den Nachfolger.

11/12/2020

HAGENBERG. Die Digitalos-Auszeichnung für das Lebenswerk geht heuer an den Mathematiker und Gründer des Softwareparks Hagenberg, Bruno Buchberger (78).

16/11/2020

16/11/2020

Professorship in Symbolic Computation at RISC. Application until December 31, 2020.
More details at

Franz Winkler will retire end of September 2021. As a consequence, the Johannes Kepler University Linz is announcing the position of a Professor of Symbolic Computation to begin on October 1, 2021. For more details, an application call, a job profile, etc. see the JKU webpage (english version, germa...

21/07/2020

Sebastian Falkensteiner successfully defended his PhD thesis in a Zoom video conference on July 7, 2020.

21/07/2020

Josef Schicho has been elected as the new editor-in-chief of the Journal of Symbolic Computation (JSC). In this position, he will succeed Hoon Hong (North Carolina State Univerity). Congratulations, Josef, and best wishes for your new and demanding editorial duty!