BEGIN:VCALENDAR
VERSION:2.0
PRODID:calendify.com
BEGIN:VEVENT
UID:calendify-session-WZBgW6V7M1R
DTSTART:20171227T114500Z
SEQUENCE:0
TRANSP:OPAQUE
DTEND:20171227T121500Z
URL:https://calendify.com/session/WZBgW6V7M1R
LOCATION:Saal Clarke
SUMMARY:End-to-end formal ISA verification of RISC-V processors with riscv-
 formal
CLASS:PUBLIC
DESCRIPTION:https://calendify.com/session/WZBgW6V7M1R
DTSTAMP:20260429T142550Z
CREATED:20200625T113327Z
LAST-MODIFIED:20200625T113327Z
END:VEVENT
END:VCALENDAR