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
- 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
- Tereso Del Rio Almajano: Speeding Up Quantifier Elimination by Machine learning
- RISC Forum Jun 23, 2025 from 01:30 PM to 02:15 PM
- Temur Kutsia: 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.