RISC Forum

Wolfgang Schreiner: RISCAL & RISCTP - Analyzing Discrete Theories and Algorithms by Model Checking & Proving

When	Jun 19, 2023 from 01:30 PM to 01:45 PM
Add event to calendar	vCal iCal

« April 2024 »

Upcoming Events: RISC Forum Apr 22, 2024 01:30 PM - 01:45 PM; RISC Forum Apr 29, 2024 01:30 PM - 01:45 PM; RISC Forum May 06, 2024 01:30 PM - 01:45 PM; RISC Forum May 13, 2024 01:30 PM - 01:45 PM; NO RISC Forum May 20, 2024 01:30 PM - 01:45 PM; Previous events…; Upcoming events…