Previous Forums
Collection of RISC Forums in the past.
- RISC Forum May 11, 2026 from 01:30 PM to 01:45 PM — RISC,
- NO RISC Forum
- NO RISC Forum (lecture free) May 04, 2026 from 01:30 PM to 01:45 PM — RISC,
- RISC Forum Apr 27, 2026 from 01:30 PM to 02:15 PM — RISC,
- Clemens Hofstadler: Algebraic First-Order Theorem Proving
- RISC Forum Apr 20, 2026 from 01:30 PM to 01:45 PM — RISC,
- Philipp Moser: AI Meets Physics: Real-Time Simulations for Medical Applications
- RISC Forum Apr 13, 2026 from 01:30 PM to 01:45 PM — RISC,
- Tereso del Rio Almajano: TBA
- No RISC Forum Apr 06, 2026 from 01:30 PM to 01:45 PM — RISC,
- Easter Holiday
- NO RISC Forum (lecture free) Mar 30, 2026 from 01:30 PM to 01:45 PM — RISC,
- RISC Forum Mar 23, 2026 from 01:30 PM to 01:45 PM — RISC,
- Marcos Mercandeli Rodrigues: (In) Formal Introduction
- RISC Forum Mar 16, 2026 from 01:30 PM to 01:45 PM — RISC,
- Georg Regensburger: The fundamental theorem of calculus in differential rings
- RISC Forum Mar 09, 2026 from 01:30 PM to 01:45 PM — RISC,
- Wolfgang Schreiner: Building a Logical Agent with LangChain ... and quite some vibe coding
- RISC Forum Mar 02, 2026 from 01:30 PM to 01:45 PM — RISC,
- Carsten Schneider: organizational Items
- RISC Forum Jan 26, 2026 from 01:30 PM to 01:45 PM — RISC,
- NN: TBA
- RISC Forum Jan 19, 2026 from 01:30 PM to 02:15 PM — RISC,
- Michael Giretzlehner: MEDUSA Medical EDUcation in Surgical Aneurysm clipping
- RISC Forum Jan 12, 2026 from 01:30 PM to 01:45 PM — RISC,
- Carsten Schneider: Current challenges in the calculation of massive 3-loop Form Factors
- NO RISC Forum Jan 05, 2026 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 Dec 22, 2025 from 01:30 PM to 01:45 PM — RISC,
- Christmas holiday
- RISC Forum Dec 15, 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 01, 2025 from 01:30 PM to 01:45 PM — RISC,
- Jakob Obrovsky: The Coboundary Equivalence Problem