2024-2025: Winter Semester

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 Oct 21, 2024 from 01:30 PM to 01:45 PM: Wolfgang Schreiner: The Machine Learning Problem
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 Nov 04, 2024 from 01:30 PM to 01:45 PM: Silviu Radu: TBN
RISC Forum Nov 11, 2024 from 01:30 PM to 01:45 PM: Josef Schicho: Special Semester
RISC Forum Nov 18, 2024 from 01:30 PM to 01:45 PM: Temur Kutsia: TBN
RISC Forum Nov 25, 2024 from 01:30 PM to 01:45 PM: NN: TBN
RISC Forum Dec 02, 2024 from 01:30 PM to 01:45 PM: NN: TBN
RISC Forum Dec 09, 2024 from 01:30 PM to 01:45 PM: NN: TBN
RISC Forum Dec 16, 2024 from 01:30 PM to 01:45 PM: NN: TBN
NO RISC Forum Dec 23, 2024 from 01:30 PM to 01:45 PM: Merry Christmas
NO RISC Forum Dec 30, 2024 from 01:30 PM to 01:45 PM: lecture-free time
NO RISC Forum Jan 06, 2025 from 01:30 PM to 01:45 PM: Holiday
RISC Forum Jan 13, 2025 from 01:30 PM to 01:45 PM: NN: TBN
RISC Forum Jan 20, 2025 from 01:30 PM to 01:45 PM: NN: TBN
RISC Forum Jan 27, 2025 from 01:30 PM to 01:45 PM: NN: TBN
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

Personal tools

2024-2025: Winter Semester