NSAD 2014 - Fifth International Workshop on Numerical and Symbolic Abstract Domains

The program of NSAD 2014 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
design of abstract transformers
compositions and operations on abstract domains
data structures and algorithms for abstract domains
novel applications of abstract domains implementations
practical experiments and comparisons
Paper Submission
All submitted papers will be peer-reviewed by the program committee.
Submitted papers should not exceed 12 pages including bibliography, and follow the ENTCS guidelines. Submitted papers may include, in addition, an appendix containing technical details, which reviewers may read or not, at their discretion. Papers must be written and presented in English, and describe original work that does not substantially overlap with papers that have been published or that are simultaneously submitted to a journal, conference, or workshop with refereed proceedings.
Final papers must conform to the ENTCS guidelines.
As in previous years, we aim to publish the NSAD 2012 proceedings electronically, in a volume of the Electronic Notes in Theoretical Computer Science series by ScienceDirect©, Elsevier.
Submissions will be handled online. Information on the submission procedure will be provided here in due course.