BEGIN:VCALENDAR
VERSION:2.0
PRODID:icalendar-ruby
CALSCALE:GREGORIAN
BEGIN:VEVENT
DTSTAMP:20260503T034339Z
UID:02f66bdc-a04f-4310-97e7-dd6f08129fb0
DTSTART:20170717T110000
DTEND:20170717T120000
LOCATION:3460 AVW
SUMMARY:Mayur Naik - Combining Logical and Probabilistic Reasoning in Progr
 am Analysis
URL;VALUE=URI:https://talks.cs.umd.edu/talks/1814
END:VEVENT
END:VCALENDAR