posted by organizer: fscozzari || 1369 views || tracked by 5 users: [display]

NSAD 2017 : Numerical and Symbolic Abstract Domains


When Aug 29, 2017 - Aug 29, 2017
Where New York City, NY, USA
Abstract Registration Due May 10, 2017
Submission Deadline May 15, 2017
Notification Due Jun 26, 2017
Final Version Due Jul 10, 2017
Categories    computer science   formal methods

Call For Papers

Numerical and Symbolic Abstract Domains (NSAD 2017)
7th International Workshop

New York City, NY, USA - August 29, 2017


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.), and have been applied to several kinds of static analyses (safety, termination, probability, etc.).

The 7th International Workshop on Numerical and Symbolic Abstract Domains is intended to discuss on-going works and ideas in the field.


The program of NSAD 2017 will consist mainly 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


NSAD 2017 is co-located with SAS 2017 and takes place in the Forbes Building of the New York University.


NSAD 2017 proceedings will be published electronically in a volume of the Electronic Notes in Theoretical Computer Science series by ScienceDirect©, Elsevier.


Abstract submission: May 10, 2017 (AoE)
Full paper submission: May 15, 2017 (AoE)
Notification: June 26, 2017
Final version: July 10, 2017
Workshop day: August 29, 2017

Francesca Scozzari (Università di Chieti-Pescara, Italy)

Gianluca Amato (Università di Chieti-Pescara, Italy)
Roberto Bagnara (University of Parma and BUGSENG, Italy)
Arlen Cox (IDA Center for Computing Sciences, USA)
Laure Gonnord (University of Lyon, France)
Denis Gopan (GrammaTech, USA)
Andy King (University of Kent, UK)
Jorge A. Navas (SRI International, USA)
Thomas Reps (University of Wisconsin-Madison and GrammaTech, USA)
Axel Simon (Google, USA)

Patrick Cousot (New York University, USA)


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. All submitted papers will be peer-reviewed by the program committee.

Submission website:

Related Resources

ACML 2017   The 9th Asian Conference on Machine Learning
SNR 2017   3nd International Workshop on Symbolic and Numerical Methods for Reachability Analysis
ICCBDC - ACM 2017   International Conference on Cloud and Big Data Computing (ICCBDC 2017)--Ei Compendex and Scopus
VMCAI 2017   International Conference on Verification, Model Checking,and Abstract Interpretation
IPMU 2018   17th Information Processing and Management of Uncertainty in Knowledge-Based Systems Conference
SYNASC 2017   19th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing
MIWAI 2017   The 11th Multi-disciplinary International Workshop on Artificial Intelligence
EASL 2017   EACL 2017 Workshop on Symbolic and Deep Learning Approaches to the Analysis of Evaluative, Affective, and Subjective Language (EASL 2017)
IEEE - ICCC 2017   3rd IEEE International Conference on Computer and Communications
LIDTA 2017   1st International Workshop on Learning with Imbalanced Domains: Theory and Applications