6th Workshop on Numerical and Symbolic Abstract Domains (NSAD 2016)

September 11, 2016

Scotland

Call For Papers

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. Many abstract domains have been designed so far: numerical domains (intervals, congruences, polyhedra, polynomials, etc.), symbolic domains (shape domains, trees, etc.), but also domain operators (products, powersets, completions, etc.), which have been applied to several kinds of static analyses (safety, termination, probability, etc.). 

Topics

numeric abstract domains 
symbolic abstract domains 
extrapolations and accelerations 
compositions and operations on abstract domains 
data structures and algorithms for abstract domains 
novel applications of abstract domains 
implementations 
practical experiments and comparisons 

IMPORTANT DATES            

Paper submission:June 10, 2016

                       

Notification of acceptance: July 18, 2016

           

Final manuscripts due: August 8, 2016

                      

User Name : MANI
Posted on

Related CFPs

NCS 2026   18th International Conference on Network and Communications Security
IJNLC   International Journal on Natural Language Computing
IJMNCT   International Journal of Mobile Network Communications & Telematics
OPTLJ   Integrated Optics and Lightwave : An International Journal