BEGIN:VCALENDAR
VERSION:2.0
PRODID:icalendar-ruby
CALSCALE:GREGORIAN
METHOD:PUBLISH
BEGIN:VTIMEZONE
TZID:Europe/Vienna
BEGIN:DAYLIGHT
DTSTART:20180325T030000
TZOFFSETFROM:+0100
TZOFFSETTO:+0200
RRULE:FREQ=YEARLY;BYDAY=-1SU;BYMONTH=3
TZNAME:CEST
END:DAYLIGHT
BEGIN:STANDARD
DTSTART:20181028T020000
TZOFFSETFROM:+0200
TZOFFSETTO:+0100
RRULE:FREQ=YEARLY;BYDAY=-1SU;BYMONTH=10
TZNAME:CET
END:STANDARD
END:VTIMEZONE
BEGIN:VEVENT
DTSTAMP:20260404T015900Z
UID:1536588000@ist.ac.at
DTSTART:20180910T160000
DTEND:20180910T170000
DESCRIPTION:Speaker: Orna Kupferman\nhosted by PostDoc\nAbstract: The talk 
 surveys a series of works that lift the rich semantics and structure of gr
 aphs\, and the experience of the formal-verification community in reasonin
 g about them\, to classical graph-theoretical problems.
LOCATION:Raiffeisen Lecture Hall\, Central Building\, ISTA
ORGANIZER:arinya.eller@ist.ac.at
SUMMARY:Orna Kupferman: Examining classical graph-theory problems from the 
 viewpoint of formal-verification methods
URL:https://talks-calendar.ista.ac.at/events/1118
END:VEVENT
END:VCALENDAR