Personal tools
You are here: Home / Internal / RISC Forum / Winter Semester 2021-2022 / RISC Forum
 

RISC Forum

Wolfgang Schreiner: The RISCAL Software - Semantic Evaluation versus SMT Solving
When Jan 10, 2022
from 01:30 PM to 01:45 PM
Add event to calendar vCal
iCal
« May 2025 »
May
MoTuWeThFrSaSu
1234
567891011
12131415161718
19202122232425
262728293031
Upcoming Events
FIRST AID COURSE May 05, 2025 01:00 PM - 05:00 PM
RISC Forum May 12, 2025 01:30 PM - 02:30 PM
RISC Forum May 19, 2025 01:30 PM - 02:30 PM
RISC Forum May 26, 2025 01:30 PM - 01:45 PM
RISC Forum Jun 02, 2025 01:30 PM - 01:45 PM
Previous events…
Upcoming events…