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

Displayed 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 Ranzato University of Padova
16:00
30m
Talk
System verification
N40AI
Arie Gurfinkel University of Waterloo
16:30
75m
Talk
Keynote: the Next 40 years of Abstract Interpretation
N40AI
Patrick Cousot New York University
17:45
45m
Social Event
Concrete Cheese and Wine
N40AI