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
« March 2023 »
March
MoTuWeThFrSaSu
12345
6789101112
13141516171819
20212223242526
2728293031
Upcoming Events
NO RISC Forum Mar 26, 2023 01:30 PM - 01:45 PM
NO RISC Forum Apr 03, 2023 01:30 PM - 02:00 PM
NO RISC Forum Apr 10, 2023 01:30 PM - 01:45 PM
RISC Forum Apr 17, 2023 01:30 PM - 02:45 PM
RISC Forum Apr 24, 2023 01:30 PM - 02:15 PM
Previous events…
Upcoming events…