BEGIN:VCALENDAR
VERSION:2.0
PRODID:icalendar-ruby
CALSCALE:GREGORIAN
BEGIN:VEVENT
DTSTAMP:20260429T131417Z
UID:c5649660-a780-4c35-8539-4d352a152e0c
DTSTART:20260409T123000
DTEND:20260409T133000
LOCATION:5105 IRB
SUMMARY:Segev Elazar Mittelman - Testing Theorems\, Fully Automatically
URL;VALUE=URI:https://talks.cs.umd.edu/talks/4576
END:VEVENT
END:VCALENDAR