2025/26 Winter Semester

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 06, 2025 from 01:30 PM to 01:45 PM — RISC,: Carsten Schneider: organizational items
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 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 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 Nov 10, 2025 from 01:30 PM to 01:45 PM — RISC,: Wolfgang Windsteiger: TBA
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 24, 2025 from 01:30 PM to 01:45 PM — RISC,: Georg Ehling: Combination techniques for quantitative matching
RISC Forum Dec 01, 2025 from 01:30 PM to 01:45 PM — RISC,: Jakob Obrovsky: The Coboundary Equivalence Problem
NO RISC Forum Dec 08, 2025 from 01:30 PM to 01:45 PM — RISC,: Holiday
RISC Forum Dec 15, 2025 from 01:30 PM to 01:45 PM — RISC,: Carsten Schneider: TBA
NO RISC Forum Dec 22, 2025 from 01:30 PM to 01:45 PM — RISC,: Christmas holiday
NO RISC Forum Dec 29, 2025 from 01:30 PM to 01:45 PM — RISC,: Christmas Holiday
NO RISC Forum Jan 05, 2026 from 01:30 PM to 01:45 PM — RISC,: Christmas Holiday
RISC Forum Jan 12, 2026 from 01:30 PM to 01:45 PM — RISC,: NN: TBA
RISC Forum Jan 19, 2026 from 01:30 PM to 01:45 PM — RISC,: NN: TBA
RISC Forum Jan 26, 2026 from 01:30 PM to 01:45 PM — RISC,: NN: TBA
RISC Forum Oct 06, 2025 from 01:30 PM to 02:30 PM — RISC,: Prof. Masahiko Sato, University of Kyoto: TBA

Personal tools

2025/26 Winter Semester