BEGIN:VCALENDAR
VERSION:2.0
PRODID:icalendar-ruby
CALSCALE:GREGORIAN
BEGIN:VEVENT
DTSTAMP:20260503T034340Z
UID:d8fa10d7-a2af-445d-a8b5-3e75b4188080
DTSTART:20140226T110000
DTEND:20140226T120000
LOCATION:4172 AVW
SUMMARY:Bor-Yuh Evan Chang - Fissile Type Analysis: Modular Checking of Alm
 ost Everywhere Invariants
URL;VALUE=URI:https://talks.cs.umd.edu/talks/602
END:VEVENT
END:VCALENDAR