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.
How to enter a new RISC Forum Talk
Zoom Meetings
https://jku.zoom.us/j/94919458950?pwd=V2FMU2l3b2JFMmtCamgzMXlhNkRYQT09
Meeting-ID: 949 1945 8950
Password: 135891
- 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.