Previous Forums
Collection of RISC Forums in the past.
- 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
- FIRST AID COURSE May 05, 2025 from 01:00 PM to 05:00 PM
- First Aid Course at RISC
- RISC Forum Apr 28, 2025 from 01:30 PM to 02:30 PM
- Prof. Dr. Mauricio-Ayala-Rincon: On the Computational Verification of Anti-unification
- NO RISC Forum Apr 21, 2025 from 01:30 PM to 01:45 PM
- Easter-Holiday
- NO RISC Forum (lecture free) Apr 14, 2025 from 01:30 PM to 01:45 PM
- RISC Forum Apr 07, 2025 from 01:30 PM to 01:45 PM
- Jose Capco: TBA
- RISC Forum Mar 31, 2025 from 01:30 PM to 01:45 PM
- NN: TBA
- RISC Forum Mar 24, 2025 from 01:30 PM to 02:30 PM
- Nikolaj Popov: TBA
- RISC Forum Mar 17, 2025 from 01:30 PM to 01:45 PM
- Nikolai Fadeev: internal PhD Defense (talk)
- FIRST AID COURSE Mar 10, 2025 from 01:00 PM to 05:00 PM
- First Aid Course at RISC
- RISC-Forum Mar 03, 2025 from 01:30 PM to 01:45 PM
- Carsten Schneider: Organizational Items
- RISC Forum Jan 27, 2025 from 01:30 PM to 01:45 PM
- Nikolaj Fadeev: Binomial sums, integrals and asymptotics
- RISC Forum Jan 20, 2025 from 01:30 PM to 01:45 PM
- Wolfgang Windsteiger: Digital Elections (@JKU)
- RISC Forum Jan 13, 2025 from 01:30 PM to 01:45 PM
- NN: TBN
- NO RISC Forum Jan 06, 2025 from 01:30 PM to 01:45 PM
- Holiday
- NO RISC Forum Dec 30, 2024 from 01:30 PM to 01:45 PM
- lecture-free time
- NO RISC Forum Dec 23, 2024 from 01:30 PM to 01:45 PM
- Merry Christmas
- RISC Forum Dec 16, 2024 from 01:30 PM to 02:30 PM
- Prof. Gennadi Malaschonok (National University of Kyiv-Mohyla Academy): Main features of computer algebra MathPartner (via Zoom)