BEGIN:VCALENDAR
VERSION:2.0
PRODID:icalendar-ruby
CALSCALE:GREGORIAN
BEGIN:VEVENT
DTSTAMP:20260503T034341Z
UID:4db8b288-b751-4f57-9b91-62769b4ebdc1
DTSTART:20171017T120000
DTEND:20171017T130000
LOCATION:MC2 AVW
SUMMARY:Sergio Mover - Dynamic Lifestate Verification of Event-Driven Appli
 cations
URL;VALUE=URI:https://talks.cs.umd.edu/talks/1901
END:VEVENT
END:VCALENDAR