Previous Forums
Collection of RISC Forums in the past.
- RISC Forum May 06, 2024 from 01:30 PM to 01:45 PM
- Jakob Obrovsky: TBN
- RISC Forum Apr 29, 2024 from 01:30 PM to 01:45 PM
- Georg Ehling: TBN
- RISC Forum Apr 22, 2024 from 01:30 PM to 01:45 PM
- Nikolai Fadeev: The RICA package: a toolbox to compute Mellin inverses and asymptotics of binomial sums — an update
- RISC Forum Apr 15, 2024 from 01:30 PM to 01:45 PM
- NN: TBN
- RISC Forum Apr 08, 2024 from 01:30 PM to 01:45 PM
- Silviu Radu: TBN
- NO RISC Forum Apr 01, 2024 from 01:30 PM to 01:45 PM
- Holiday (Easter)
- NO RISC Forum Mar 25, 2024 from 01:30 PM to 01:45 PM
- lecture-free
- RISC Forum Mar 18, 2024 from 01:30 PM to 01:45 PM
- Carsten Schneider: TBN
- RISC Forum Mar 11, 2024 from 01:30 PM to 01:45 PM
- Wolfgang Schreiner: The SLANG Semantics-Based Language Generator
- RISC Forum Mar 04, 2024 from 01:30 PM to 01:45 PM
- Carsten Schneider: Start of Semester, Organizational Items
- RISC Forum Jan 29, 2024 from 01:30 PM to 02:30 PM
- N.N.: TBN
- RISC Forum Jan 22, 2024 from 01:30 PM to 01:45 PM
- Eriola Hoxhaj: Dupin Cyclides
- RISC Forum Jan 15, 2024 from 01:30 PM to 01:45 PM
- Cleo Pau: Symbolic Techniques for, Approximate Reasoning
- RISC Forum Jan 08, 2024 from 01:30 PM to 01:45 PM
- Wolfgang Schreiner: The RISCTP Software - A MESON Prover with Equality and Theory Support
- RISC Forum Dec 11, 2023 from 01:30 PM to 01:45 PM
- Georg Ehling: Unification in Quantitative Equational Theories
- RISC Forum Dec 04, 2023 from 01:30 PM to 01:45 PM
- Silviu Radu
- RISC Forum Nov 27, 2023 from 01:30 PM to 01:45 PM
- Josef Schicho: What is generic? Three answers.
- RISC Forum Nov 20, 2023 from 01:30 PM to 02:00 PM
- Jakob Obrovsky: Self-introduction; Nikolai Fadeev: TBN
- RISC Forum Nov 13, 2023 from 01:30 PM to 01:45 PM
- Temur Kutsia
- RISC Forum Nov 06, 2023 from 01:30 PM to 02:30 PM
- Fire-Safety-Drill