BEGIN:VCALENDAR
VERSION:2.0
PRODID:icalendar-ruby
CALSCALE:GREGORIAN
METHOD:PUBLISH
BEGIN:VTIMEZONE
TZID:Europe/Vienna
BEGIN:DAYLIGHT
DTSTART:20210328T030000
TZOFFSETFROM:+0100
TZOFFSETTO:+0200
RRULE:FREQ=YEARLY;BYDAY=-1SU;BYMONTH=3
TZNAME:CEST
END:DAYLIGHT
BEGIN:STANDARD
DTSTART:20201025T020000
TZOFFSETFROM:+0200
TZOFFSETTO:+0100
RRULE:FREQ=YEARLY;BYDAY=-1SU;BYMONTH=10
TZNAME:CET
END:STANDARD
END:VTIMEZONE
BEGIN:VEVENT
DTSTAMP:20260404T052810Z
UID:1605103200@ist.ac.at
DTSTART:20201111T150000
DTEND:20201111T160000
DESCRIPTION:Speaker: Fred Schneider\nhosted by Thomas Henzinger\nAbstract: 
 We view through a verification lens the evolution of program specification
 s---from partial and total correctness\, through safety and liveness prope
 rties\, and culminating with hyperproperties.  The exposition will includ
 e a new approach to verifying a large class of hyperproperties.  That app
 roach involves describing systems and their properties in the temporal log
 ic TLA.  The reduction of hyperproperties to TLA properties generalizes s
 elf-composition to a class of hyperproperties that includes all those we h
 ave seen to express security conditions and to express properties of progr
 ams.*Joint work both with M. Clarkson and with L. Lamport is being describ
 ed.
LOCATION:Zoom Link: https://istaustria.zoom.us/j/98469631645?pwd=ZDN1UVRTdV
 FFc2Yrc1YwUTdLcFZ3UT09 Meeting ID: 984 6963 1645 Passcode: 943951\, ISTA
ORGANIZER:
SUMMARY:Fred Schneider: The Origins of Hyperproperties
URL:https://talks-calendar.ista.ac.at/events/2858
END:VEVENT
END:VCALENDAR