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: NN: TBN
RISC Forum Oct 28, 2024 from 01:30 PM to 01:45 PM: NN: TBN
RISC Forum Nov 04, 2024 from 01:30 PM to 01:45 PM: NN: TBN
RISC Forum Nov 11, 2024 from 01:30 PM to 01:45 PM: NN: TBN
RISC Forum Nov 18, 2024 from 01:30 PM to 01:45 PM: NN: 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