Previous Forums
Collection of RISC Forums in the past.
- RISC Forum Nov 18, 2024 from 01:30 PM to 01:45 PM
- Temur Kutsia: TBN
- RISC Forum Nov 11, 2024 from 01:30 PM to 01:45 PM
- Josef Schicho: Special Semester
- RISC Forum Nov 04, 2024 from 01:30 PM to 01:45 PM
- Silviu Radu: TBN
- RISC Forum Oct 28, 2024 from 01:30 PM to 02:30 PM
- Thaynara Arielly de Lima (Universidade Federal de Goiás - Brazil): Formalization of a General Theory of Quaternions and Applications
- RISC Forum Oct 21, 2024 from 01:30 PM to 01:45 PM
- Wolfgang Schreiner: The Machine Learning Problem
- RISC-Forum Oct 14, 2024 from 01:30 PM to 02:15 PM
- Mauricio Ayala: Mechanizing Combinatorial Applications of Compactness
- RISC Forum Oct 07, 2024 from 01:30 PM to 01:45 PM
- Yiman Gao: self introduction
- RISC Forum Sep 30, 2024 from 01:30 PM to 04:30 PM — RISC,
- Markus Steindl and Evans Doe Ocansey: Advanced Machine Learning Workshop: From Theory to Practice with Neural Networks
- RISC Forum at RISC Software GmbH Jun 24, 2024 from 01:30 PM to 04:30 PM — RISC Software GmbH,
- Alexander Maletzky: Introduction to Deep Learning: Hands-on Workshop in Computer Vision
- RISC Forum Jun 17, 2024 from 01:30 PM to 01:45 PM
- Maitreyo Bhattacharjee: self introduction
- RISC Forum Jun 10, 2024 from 01:30 PM to 02:30 PM
- Univ.-Prof. Dr. Richard Küng: A (soft) intro to quantum computing (Colloquium Talk)
- RISC Forum Jun 03, 2024 from 01:30 PM to 01:45 PM
- Abilio De Freitas: Three-loop Massive QCD Form Factors
- RISC Forum May 27, 2024 from 01:30 PM to 01:45 PM
- Gabriela Fereira: self introduction
- NO RISC Forum May 20, 2024 from 01:30 PM to 01:45 PM
- Holiday (Pentecost)
- RISC Forum May 13, 2024 from 01:30 PM to 01:45 PM
- Wolfgang Windsteiger: EFFICIENT CHECKING OF SIDE-CONDITIONS IN THEOREMA
- RISC Forum May 06, 2024 from 01:30 PM to 01:45 PM
- Jakob Obrovsky: Solving Difference Equations in RΠΣ-Extensions
- RISC Forum Apr 29, 2024 from 01:30 PM to 01:45 PM
- Georg Ehling: Solving quantitative equations
- RISC Forum Apr 22, 2024 from 01:30 PM to 01:45 PM
- Nikolai Fadeev: The RICA package: a toolbox to compute Mellin inverses and asymptotics of binomial sums — an update
- RISC Forum Apr 15, 2024 from 01:30 PM to 01:45 PM
- NN: TBN
- RISC Forum Apr 08, 2024 from 01:30 PM to 01:45 PM
- Silviu Radu: Finding rational upper and lower bound for the evaluation of modular functions at a given point