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.
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.
« June 2025 »
June
MoTuWeThFrSaSu
1
2345678
9101112131415
16171819202122
23242526272829
30
Upcoming Events
NO RISC Forum Jun 09, 2025 01:30 PM - 01:45 PM
RISC Forum Jun 16, 2025 01:30 PM - 01:45 PM
RISC Forum Jun 23, 2025 01:30 PM - 02:15 PM
RISC Forum Jun 30, 2025 01:30 PM - 01:45 PM — RISC
Previous events…
Upcoming events…