Previous Forums
Collection of RISC Forums in the past.
- 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
- NO RISC Forum Oct 30, 2023 from 01:30 PM to 01:45 PM
- Funeral Ceremony Diego Dominici
- RISC Forum Oct 23, 2023 from 01:30 PM to 01:45 PM
- Abilio de Freitas: Computer Algebra and Three-loop Massive QCD Form Factors
- RISC Forum Oct 16, 2023 from 01:30 PM to 01:45 PM
- Organizatorial Items
- RISC Forum Jun 26, 2023 from 01:30 PM to 01:45 PM
- LARD
- RISC Forum Jun 19, 2023 from 01:30 PM to 01:45 PM
- Wolfgang Schreiner: RISCAL & RISCTP - Analyzing Discrete Theories and Algorithms by Model Checking & Proving
- RISC Forum Jun 12, 2023 from 01:30 PM to 01:45 PM
- Josef Schicho: Camera Calibration
- RISC Forum Jun 05, 2023 from 01:30 PM to 01:45 PM
- Eriola Hoxhaj: How to Reconstruct a Planar Map From its Discriminant
- NO RISC Forum May 29, 2023 from 01:30 PM to 01:45 PM
- Pentecost
- RISC Forum May 22, 2023 from 01:30 PM to 01:45 PM
- Silviu Radu.: TBN
- RISC Forum May 15, 2023 from 01:30 PM to 01:45 PM
- NN: TBN
- RISC Forum May 08, 2023 from 01:30 PM to 01:45 PM
- Ralf Hemmecke: Multi-SubAlgebra-Module-Basis-Algorithm in Progress
- NO RISC Forum May 01, 2023 from 01:30 PM to 01:45 PM
- Holiday
- RISC Forum Apr 24, 2023 from 01:30 PM to 01:45 PM
- Silviu Radu: TBN