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

Keynote: the Next 40 years of Abstract Interpretation

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

40 years later than [CC77] at POPL1977, Patrick Cousot will show his perspective on the next 40 years of 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

Patrick Cousot

Patrick Cousot

New York University