Personal tools
You are here: Home / Internal / RISC Forum / 2024-2025: Winter Semester

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
NO RISC Forum Dec 02, 2024 from 01:30 PM to 01:45 PM
RISC Forum Dec 09, 2024 from 01:30 PM to 01:45 PM
Jakob Obrovsky: TBN
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)
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
Wolfgang Windsteiger: Digital Elections (@JKU)
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
« December 2024 »
December
MoTuWeThFrSaSu
1
2345678
9101112131415
16171819202122
23242526272829
3031
Upcoming Events
NO RISC Forum Dec 23, 2024 01:30 PM - 01:45 PM
NO RISC Forum Dec 30, 2024 01:30 PM - 01:45 PM
NO RISC Forum Jan 06, 2025 01:30 PM - 01:45 PM
RISC Forum Jan 13, 2025 01:30 PM - 01:45 PM
RISC Forum Jan 20, 2025 01:30 PM - 01:45 PM
Previous events…
Upcoming events…