POPL 2017
Sun 15 - Sat 21 January 2017

40 years later than [CC77] at POPL1977, Patrick Cousot will show his perspective on the next 40 years of abstract interpretation

Sat 21 Jan
Times are displayed in time zone: (GMT+01:00) 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