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 - 16:30
Talk
N40AI
Arie GurfinkelUniversity of Waterloo
16:30 - 17:45
Talk
N40AI
Patrick CousotNew York University
17:45 - 18:30
Social Event
N40AI