BEGIN:VCALENDAR
VERSION:2.0
PRODID:Linklings LLC
BEGIN:VTIMEZONE
TZID:America/Chicago
X-LIC-LOCATION:America/Chicago
BEGIN:DAYLIGHT
TZOFFSETFROM:-0600
TZOFFSETTO:-0500
TZNAME:CDT
DTSTART:19700308T020000
RRULE:FREQ=YEARLY;BYMONTH=3;BYDAY=2SU
END:DAYLIGHT
BEGIN:STANDARD
TZOFFSETFROM:-0500
TZOFFSETTO:-0600
TZNAME:CST
DTSTART:19701101T020000
RRULE:FREQ=YEARLY;BYMONTH=11;BYDAY=1SU
END:STANDARD
END:VTIMEZONE
BEGIN:VEVENT
DTSTAMP:20211207T055412Z
LOCATION:Online
DTSTART;TZID=America/Chicago:20211114T090500
DTEND;TZID=America/Chicago:20211114T100000
UID:submissions.supercomputing.org_SC21_sess327_misc227@linklings.com
SUMMARY:HiPar21: Invited Talk: "Reasoning About Software Correctness"
DESCRIPTION:Workshop\n\nHiPar21: Invited Talk: "Reasoning About Software C
 orrectness"\n\nParent\n\nTag: Online Only, Algorithms, Architectures, Extr
 eme Scale Computing, Heterogeneous Systems, Memory Systems, Parallel Progr
 amming Languages and Models, Resource Management and Scheduling\n\nRegistr
 ation Category: Workshop Reg Pass
END:VEVENT
END:VCALENDAR