Personal tools
You are here: Home / RISC Forum

RISC Forum

The RISC forum is a regular meeting to discuss organizational matters, to present short reports on scientific progress, conference visits, etc. In addition, it is the forum for RISC colloquium talks by invited RISC guests.
RISC Forum Oct 07, 2024 from 01:30 PM to 01:45 PM
Yiman Gao: self introduction
RISC-Forum Oct 14, 2024 from 01:30 PM to 02:15 PM
Mauricio Ayala: Mechanizing Combinatorial Applications of Compactness
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

Also in this section

Previous Forums
Collection of RISC Forums in the past.
« October 2024 »
October
MoTuWeThFrSaSu
123456
78910111213
14151617181920
21222324252627
28293031
Upcoming Events
RISC Forum Oct 07, 2024 01:30 PM - 01:45 PM
RISC-Forum Oct 14, 2024 01:30 PM - 02:15 PM
RISC Forum Oct 21, 2024 01:30 PM - 01:45 PM
RISC Forum Oct 28, 2024 01:30 PM - 01:45 PM
RISC Forum Nov 04, 2024 01:30 PM - 01:45 PM
Previous events…
Upcoming events…