Next 40 Years of Abstract Interpretation Workshop

Next 40 Years of Abstract Interpretation Workshop

(co-located with POPL 2017)

January 21st, 2017

Paris, France

http://popl17.sigplan.org/track/N40AI

Early registration ends December 17th

In POPL 1977, Patrick Cousot and Radhia Cousot introduced Abstract Interpretation in a very well known seminal paper which still is the most cited paper of POPL. The workshop 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 interpretation will face for the next decades. The N40AI workshop will discuss the impact that abstract interpretation may have in future challenges of: industrial applications, security, big code, program synthesis, hybrid systems and systems biology. 

The workshop is free and open to everybody who is interested in understanding and discussing the potential of abstract interpretation for the next 40 years. More details on the workshop are available at: http://popl17.sigplan.org/track/N40AI. Registration details can be found at: http://popl17.sigplan.org/attending/registration.