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
Qr image
Download ICS
Back to eventlist