System verification (N40AI 2017)

Sun 15 - Sat 21 January 2017

Track

The program is currently displayed in (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna.

Use conference time zone: (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, ViennaSelect other time zone

When

Sat 21 Jan 2017 16:00 - 16:30 at Amphitheater 44 - System Verification and Patrick Cousot's Keynote Chair(s): Francesco Ranzato

Abstract

Arie Gurfinkel will present the state of the art and future challenges in system verification by abstract interpretation.

The program is currently displayed in (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna.

Use conference time zone: (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, ViennaSelect other time zone

Session Program

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

16:00 - 16:30
Talk

System verification

Arie GurfinkelUniversity of Waterloo

16:30 - 17:45
Talk

Patrick CousotNew York University

17:45 - 18:30
Social Event

System verification