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 May 19, 2025 from 01:30 PM to 02:30 PM
- Thaynara Arielly de Lima: A PVS Library on Infinitude of Primes
- RISC Forum May 26, 2025 from 01:30 PM to 01:45 PM
- Silviu Radu: TBA
- RISC Forum Jun 02, 2025 from 01:30 PM to 01:45 PM
- Georg Ehling: TBA
- NO RISC Forum Jun 09, 2025 from 01:30 PM to 01:45 PM
- Holiday
- RISC Forum Jun 16, 2025 from 01:30 PM to 01:45 PM
- Temur Kutsia: TBA
- RISC Forum Jun 23, 2025 from 01:30 PM to 01:45 PM
- NN: TBA
- RISC Forum Jun 30, 2025 from 01:30 PM to 01:45 PM — RISC,
- NN: TBA
Also in this section
- Previous Forums
- Collection of RISC Forums in the past.