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

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