BEGIN:VCALENDAR
VERSION:2.0
PRODID:icalendar-ruby
CALSCALE:GREGORIAN
BEGIN:VEVENT
DTSTAMP:20260926T003737Z
UID:306f2701-b65c-423f-811a-65252c93a63e
DTSTART:20260917T123000
DTEND:20260917T133000
LOCATION:5105 IRB
SUMMARY:Segev Elazar Mittelman - Testing Theorems\, Fully Automatically
URL;VALUE=URI:https://talks.cs.umd.edu/talks/4741
END:VEVENT
END:VCALENDAR