BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Iowa State University CALS LAS Web Team//sites.iastate.edu//EN
BEGIN:VEVENT
UID:20251110T222500-4800-www.cs.iastate.edu
DTSTART:20251110T222500Z
SEQUENCE:0
TRANSP:OPAQUE
DTEND:20251110T232500Z
LOCATION:0114 Student Innovation Center
SUMMARY:RESCHEDULED Graduate Student Seminar: Feifei Cheng
CLASS:PUBLIC
DESCRIPTION:Join on Zoom: https://iastate.zoom.us/j/98699358342&nbsp\;Embed
 ding Quantum Program Verification into Dafny\n\nMore information at: https
 ://www.cs.iastate.edu/event/2025/rescheduled-graduate-student-seminar-feif
 ei-cheng
DTSTAMP:20260314T000009Z
END:VEVENT
END:VCALENDAR