Write a Blog >>
NSAD 2020
Sun 15 - Fri 20 November 2020 Online Conference
co-located with SPLASH 2020
Conference Editions
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. ...