Previous Forums
Collection of RISC Forums in the past.
- RISC Forum Dec 15, 2025 from 01:30 PM to 01:45 PM — RISC,
- Jakob Obrovsky: TBA
- NO RISC Forum Dec 08, 2025 from 01:30 PM to 01:45 PM — RISC,
- Holiday
- RISC Forum Dec 01, 2025 from 01:30 PM to 01:45 PM — RISC,
- Jakob Obrovsky: The Coboundary Equivalence Problem
- RISC Forum Nov 24, 2025 from 01:30 PM to 01:45 PM — RISC,
- Georg Ehling: Combination techniques for quantitative matching
- RISC Forum Nov 17, 2025 from 01:30 PM to 01:45 PM — RISC,
- Tereso des Rio Almajano: InProSSA: Automatising Industrial Optimisation
- RISC Forum Nov 10, 2025 from 01:30 PM to 01:45 PM — RISC,
- Wolfgang Windsteiger: TBA
- RISC Forum Nov 03, 2025 from 01:30 PM to 01:45 PM — RISC,
- Silviu Radu: An algorithm to prove inequalities based on the asymptotic expansion
- RISC Forum Oct 27, 2025 from 01:30 PM to 02:30 PM — RISC,
- Ass.-Prof. Dr. Arnab Roy + Luca Campa; Univ. of Innsbruck, Dept. of Computer Science: TBA
- RISC Forum Oct 20, 2025 from 01:30 PM to 01:45 PM — RISC,
- Wolfgang Schreiner: Some Experiments on the Predicate Power of ML Models - The Case of the “Shortest Path Problem”
- RISC Forum Oct 13, 2025 from 01:30 PM to 01:45 PM — RISC,
- Yiman Gao: Complete reduction for derivatives in a primitive tower
- RISC Forum Oct 06, 2025 from 01:30 PM to 02:30 PM — RISC,
- Prof. Masahiko Sato, University of Kyoto: TBA
- RISC Forum Oct 06, 2025 from 01:30 PM to 01:45 PM — RISC,
- Carsten Schneider: organizational items
- RISC Forum Jun 30, 2025 from 01:30 PM to 01:45 PM — RISC,
- NN: TBA
- RISC Forum Jun 23, 2025 from 01:30 PM to 02:15 PM
- Temur Kutsia: TBA
- RISC Forum Jun 16, 2025 from 01:30 PM to 01:45 PM
- Tereso Del Rio Almajano: Speeding Up Quantifier Elimination by Machine learning
- NO RISC Forum Jun 09, 2025 from 01:30 PM to 01:45 PM
- Holiday
- RISC Forum Jun 02, 2025 from 01:30 PM to 01:45 PM
- Georg Ehling: TBA
- RISC Forum May 26, 2025 from 01:30 PM to 02:00 PM
- Tereso Del Rio Almajano: Selfintroduction Silviu Radu: TBA
- RISC Forum May 19, 2025 from 01:30 PM to 02:30 PM
- Thaynara Arielly de Lima: A PVS Library on Infinitude of Primes
- RISC Forum May 12, 2025 from 01:30 PM to 02:30 PM
- Carsten Schneider: Symbolic summation and integration techniques for Feynman integrals