Previous Forums
Collection of RISC Forums in the past.
- RISC Forum Mar 28, 2022 from 01:30 PM to 01:45 PM
- Philipp Nuspl: "Recurrence Sequences in the OEIS"
- RISC Forum Mar 21, 2022 from 01:30 PM to 01:45 PM
- Nicolas Smoot: TBA
- RISC Forum Mar 14, 2022 from 01:30 PM to 01:45 PM
- Josef Schicho: Rewrite Rules and the Depth of Neural Networks
- RISC Forum Mar 07, 2022 from 01:30 PM to 02:00 PM — Zoom,
- Prof. Paule: Welcome to the new Semester; organizational Items.
- RISC Forum Jan 31, 2022 from 01:30 PM to 01:45 PM
- Barbara Qi: Report on recent activities
- RISC Forum Jan 24, 2022 from 01:30 PM to 01:45 PM
- Guenter Landsmann: Notes on Categories
- RISC Forum Jan 17, 2022 from 01:30 PM to 01:45 PM
- Wolfgang Windsteiger : Using Theorema as a Proof Tutor in the Classroom
- RISC Forum Jan 10, 2022 from 01:30 PM to 01:45 PM
- Wolfgang Schreiner: The RISCAL Software - Semantic Evaluation versus SMT Solving
- NO RISC Forum Jan 03, 2022 from 01:30 PM to 01:45 PM
- Lecture-free time because of Christmas holidays
- NO RISC Forum Dec 27, 2021 from 01:30 PM to 01:45 PM
- Lecture-free time because of Christmas.
- NO RISC Forum Dec 20, 2021 from 01:30 PM to 01:45 PM
- Lecture-free time because of Christmas
- RISC Forum Dec 13, 2021 from 01:30 PM to 01:45 PM
- Temur Kutsia: Report on Recent Activities
- RISC Forum Dec 06, 2021 from 01:30 PM to 01:45 PM
- Sebastian Falkensteiner: "Recent Questions in my Research"
- RISC Forum Nov 29, 2021 from 01:30 PM to 01:45 PM
- Mehdi Makhul: Algebraic Solutions of Fuchsian Differential Equations
- RISC Forum Nov 22, 2021 from 01:30 PM to 01:45 PM
- Peter Paule: Organizational Items
- RISC Forum Nov 15, 2021 from 01:30 PM to 01:45 PM
- Johann Mitteramskogler: A generalization of my favourite algorithm
- RISC Forum Nov 08, 2021 from 01:30 PM to 02:00 PM
- Ralf Hemmecke: QEta: A FriCAS package to find and proved generalized eta-quotient identities. Wolfgang Schreiner: Short-presentation of a new book.
- NO RISC Forum Nov 01, 2021 from 01:30 PM to 01:45 PM
- All Souls Day (Holiday)
- NO RISC Forum Oct 25, 2021 from 01:30 PM to 01:45 PM — Hybrid (Zoom and Pond-Seminarroom),
- RISC Forum Oct 18, 2021 from 01:30 PM to 01:45 PM — Hybrid (Zoom and Pond-Seminarroom),
- David Cerna: Current Activities and Research Directions