BEGIN:VCALENDAR
VERSION:2.0
PRODID:icalendar-ruby
CALSCALE:GREGORIAN
BEGIN:VTIMEZONE
TZID:America/Chicago
BEGIN:DAYLIGHT
DTSTART:20240310T030000
TZOFFSETFROM:-0600
TZOFFSETTO:-0500
RRULE:FREQ=YEARLY;BYDAY=2SU;BYMONTH=3
TZNAME:CDT
END:DAYLIGHT
BEGIN:STANDARD
DTSTART:20241103T010000
TZOFFSETFROM:-0500
TZOFFSETTO:-0600
RRULE:FREQ=YEARLY;BYDAY=1SU;BYMONTH=11
TZNAME:CST
END:STANDARD
END:VTIMEZONE
BEGIN:VEVENT
DTSTAMP;TZID=America/Chicago:20260410T055631
UID:194033@calendar.wisc.edu
DTSTART;TZID=America/Chicago:20240314T120000
DTEND;TZID=America/Chicago:20240314T130000
DESCRIPTION:Adithya Murali: Doctoral Candidate\, University of Illinois Urb
 ana-Champaign (Programming Languages). 
LOCATION:1240 Computer Sciences
SUMMARY:Talk: Democratizing Verification: Overcoming Expertise Gaps using L
 ogic Learning and New Predictable Paradigms
END:VEVENT
END:VCALENDAR