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:20231105T010000
TZOFFSETFROM:-0500
TZOFFSETTO:-0600
RRULE:FREQ=YEARLY;BYDAY=1SU;BYMONTH=11
TZNAME:CST
END:STANDARD
END:VTIMEZONE
BEGIN:VEVENT
DTSTAMP;TZID=America/Chicago:20260410T131648
UID:185520@calendar.wisc.edu
DTSTART;TZID=America/Chicago:20231128T120000
DTEND;TZID=America/Chicago:20231128T130000
DESCRIPTION:Hyper Hoare Logic: The Power of Second-Order Axiomatic Semantic
 s. Abstract: The semantics of Hoare-style logics typically restrict the so
 rts of properties one can prove. In Hoare Logic\, one can only prove overa
 pproximations of single-state program semantics\; in Incorrectness Logic\,
  one can prove underapproximations. Proving even simple hyperproperties (p
 roperties that require reasoning about multiple executions at once) like m
 onotonicity requires more complex logics. To unify these contexts\, Hyper 
 Hoare Logic (HHL) lifts program semantics and logical asserti\n\nCONTACT: 
 lneudorf@wisc.edu\n\nONLINE: https://uwmadison.zoom.us/j/99806329756
LOCATION:3310 Computer Sciences  (Also offered online)
SUMMARY:Programming Languages Seminar: Shaan Nagy
END:VEVENT
END:VCALENDAR