POPL 2017
Sun 15 - Sat 21 January 2017

Arie Gurfinkel will present the state of the art and future challenges in system verification by abstract interpretation.

Sat 21 Jan
Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

16:00 - 18:30
System Verification and Patrick Cousot's KeynoteN40AI at Amphitheater 44
Chair(s): Francesco RanzatoUniversity of Padova
16:00
30m
Talk
System verification
N40AI
Arie GurfinkelUniversity of Waterloo
16:30
75m
Talk
Keynote: the Next 40 years of Abstract Interpretation
N40AI
Patrick CousotNew York University
17:45
45m
Social Event
Concrete Cheese and Wine
N40AI