ResearchBib Share Your Research, Maximize Your Social Impacts
Sign for Notice Everyday Sign up >> Login

NSAD 2015 - Workshop on Numerical and Symbolic Abstract Domains 2015

Date2015-09-09 - 2015-09-11


VenueSaint-Malo, France France



Topics/Call fo Papers

SAD 2015 will be co-located with SAS 2015.
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

Last modified: 2015-03-12 23:28:45