NSAD 2015 - Workshop on Numerical and Symbolic Abstract Domains 2015

SAD 2015 will be co-located with SAS 2015.
Scope
-----
The program of NSAD 2015 will primarily consist of presentations of refereed
papers. Contributions are welcomed on all aspects of abstract domains,
including, but not limited to:
* 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