|Sun 15 - Fri 20 November 2020 Online Conference|
NSAD 2020 with SPLASH 2020
Submission deadlines are now extended to September 20th 2020 (AoE). Abstract domains are a key notion in Abstract Interpretation theory and practice. They embed the semantic choices, data-structures and algorithmic aspects, and implementation decisions. The Abstract Interpretation framework provides constructive and systematic formal methods to design, compose, compare, study, prove, and apply abstract domains. ...