|Sat 20 Jan 2024 London, United Kingdom|
N40AI 2024 with POPL 2024
The purpose of the Next 40 years of Abstract Interpretation (N40AI) event is to gather ”4 generations of PhDs in abstract interpretation” and to reflect on the past, current, and future research trends in this field. Abstract interpretation was proposed in the 1970s by Patrick Cousot and Radhia Cousot as a general formalism to compare program semantics. The landmark papers at POPL’77 and POPL’79 have inspired an ...
|Wed 18 - Fri 20 January 2017 |
N40AI 2017 with POPL 2017
In POPL 1977 Patrick and Radhia Cousot introduced Abstract Interpretation in a very well known seminal paper which is still the best ever cited of POPL. The worksop is intended to celebrate this event 40 years later in Paris at POPL 2017. Invited speakers from academia and industry active in fields where abstract interpretation is or can be successfully applied will discuss the new challenges that abstract interp ...
University of Arizona
University of Padova
Inria; ENS; CNRS; PSL University
Inria & École Normale Supérieure | Université PSL