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

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