POPL 2017
Sun 15 - Sat 21 January 2017
POPL 2017 (series) / N40AI 2017 (series) / N40AI /

System verification

N40AI 2017 Next 40 years of Abstract Interpretation
Sat 21 Jan 2017 16:00 - 16:30 at Amphitheater 44 - System Verification and Patrick Cousot's Keynote Chair(s): Francesco Ranzato

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

Arie Gurfinkel

Arie Gurfinkel

University of Waterloo