BEGIN:VCALENDAR
VERSION:2.0
PRODID:icalendar-ruby
CALSCALE:GREGORIAN
BEGIN:VEVENT
DTSTAMP:20260926T003738Z
UID:e1d971be-295a-485f-abc9-4a1f9ccda5da
DTSTART:20260924T123000
DTEND:20260924T133000
LOCATION:5105 IRB
SUMMARY:Leonidas Lampropoulos - Testing and Fuzzing Formal Specifications
URL;VALUE=URI:https://talks.cs.umd.edu/talks/4747
END:VEVENT
END:VCALENDAR