Upcoming Talks

Ist logo

Examining classical graph-theory problems from the viewpoint of formal-verification methods

Date: Monday, September 10, 2018 16:00 - 17:00
Speaker: Orna Kupferman (The Hebrew University of Jerusalem)
Location: Raiffeisen Lecture Hall, Central Building
Series: Institute colloquium
Host: PostDoc
Contact: Arinya Eller
Central building lecture hall

Abstract:

The talk surveys a series of works that lift the rich semantics and structure of graphs, and the experience of the formal-verification community in reasoning about them, to classical graph-theoretical problems.

Qr image
Download ICS Download invitation
Back to eventlist