Recent Changes
This collection shows recently changed items.
- RISC Forum Oct 06, 2025 from 01:30 PM to 02:30 PM — RISC,
- Prof. Masahiko Sato, University of Kyoto: TBA
- RISC Forum Jan 26, 2026 from 01:30 PM to 01:45 PM — RISC,
- NN: TBA
- 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
- NO RISC Forum Dec 08, 2025 from 01:30 PM to 01:45 PM — RISC,
- Holiday
- RISC Forum Oct 06, 2025 from 01:30 PM to 01:45 PM — RISC,
- Carsten Schneider: organizational items
- 2025/26 Winter Semester
- Git server at RISC: Manage git repositories
- How to create, delete, and share git repositories.
- 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
- RISC Forum May 26, 2025 from 01:30 PM to 02:00 PM
- Tereso Del Rio Almajano: Selfintroduction Silviu Radu: TBA
- RISC Forum May 12, 2025 from 01:30 PM to 02:30 PM
- Carsten Schneider: Symbolic summation and integration techniques for Feynman integrals
- RISC Forum Jun 02, 2025 from 01:30 PM to 01:45 PM
- Georg Ehling: 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 Apr 28, 2025 from 01:30 PM to 02:30 PM
- Prof. Dr. Mauricio-Ayala-Rincon: On the Computational Verification of Anti-unification
- RISC Postal Service
- The organization of the mail transfer between JKU and RISC.
- RISC Forum Jun 30, 2025 from 01:30 PM to 01:45 PM — RISC,
- NN: TBA
- 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