BEGIN:VCALENDAR
VERSION:2.0
PRODID:researchseminars.org
CALSCALE:GREGORIAN
X-WR-CALNAME:researchseminars.org
BEGIN:VEVENT
SUMMARY:Orna Kupferman (Hebrew University)
DTSTART:20201104T140000Z
DTEND:20201104T150000Z
DTSTAMP:20260423T052459Z
UID:OWLS/11
DESCRIPTION:Title: <a href="https://researchseminars.org/talk/OWLS/11/">Ex
 amining Classical Graph-Theory Problems from the Viewpoint of Formal-Verif
 ication Methods</a>\nby Orna Kupferman (Hebrew University) as part of Onli
 ne Worldwide Seminar on Logic and Semantics (OWLS)\n\n\nAbstract\nThe talk
  surveys a series of works that lift the rich semantics and structure of g
 raphs\, and the experience of the formal-verification community in reasoni
 ng about them\, to classical graph-theoretical problems.\n
LOCATION:https://researchseminars.org/talk/OWLS/11/
END:VEVENT
END:VCALENDAR