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 Apr 28, 2025 from 01:30 PM to 02:30 PM
- Prof. Dr. Mauricio-Ayala-Rincon: On the Computational Verification of Anti-unification
- FIRST AID COURSE May 05, 2025 from 01:00 PM to 05:00 PM
- First Aid Course at RISC
- RISC Forum May 12, 2025 from 01:30 PM to 02:30 PM
- Carsten Schneider: TBA
- RISC Forum May 19, 2025 from 01:30 PM to 01:45 PM
- Georg Ehling: TBA
- 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
- NN: 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.