POPL 2024
Sun 14 - Sat 20 January 2024 London, United Kingdom

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 impressive amount of works by many generations of researchers, on the foundations of program semantics, program analysis, program transformations, applications in making computer systems safer and more secure, and more. It has also served as a cornerstone for the design and implementation of many tools that range from academic prototypes to industrial-strength static analyzers.

The event will consist of invited presentations from researchers both from the field of Abstract Interpretation, and from outside this field, to give perspective on the next grand challenges and the true open questions of static analysis, Abstract Interpretation, and the cross-fertilization with other research fields. It will address not only scientific foundations, but also the field’s history, as well as open problems and research directions for the next generations of researchers in programming languages.

Confirmed Speakers (so far, stay tuned!)

Preliminary Program

09:00 - 10:30 Invited Talks
10:30 - 11:00 Coffee Break
11:00 - 12:30 Invited Talks
12:30 - 14:00 Lunch Break
14:00 - 15:30 Invited Talks
15:30 - 16:00 Coffee Break
16:00 - 18:00        Short Talks + Wine & Cheese


The workshop is generously sponsored by


Questions? Use the N40AI contact form.