NSAD 2017

7th International Workshop on

Numerical and Symbolic Abstract Domains (NSAD 2017)
New York City, NY, USA - August 29, 2017


Scope

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
  • implementations

Venue

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

Publication

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

Organization


Program Chair
Program Committee
Local Chair

Program

  • TBA

Invited Speaker

  • TBA

Registration

Since NSAD 2017 will be co-located with SAS 2017, please refer to the SAS 2017 website.

Submission

Submissions are invited in two categories:

  • 1-page abstract (for presentation of ongoing work or already published papers) NEW!
  • regular paper (not exceeding 12 pages including references)

Submission of 1-page abstracts

Authors of accepted 1-page abstracts will have the opportunity for short oral presentations at the workshop, but they will not be included in the proceedings.

  • 1-page abstract submission: July 20, 2017
  • Notification: August 01, 2017

Submission website: https://easychair.org/conferences/?conf=nsad2017


Submission of regular papers

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.

Authors of regular papers have the option to be part of the proceedings or not. By default, all accepted regular papers will be included in the proceedings.

  • Regular paper submission: July 20, 2017 EXTENDED!
  • Notification: August 01, 2017

Submission website: https://easychair.org/conferences/?conf=nsad2017


Co-Located Events

Important dates - EXTENDED

1-page abstract submission: July 20, 2017 (AoE) NEW!

Regular paper submission: July 20, 2017 (AoE) EXTENDED!

Notification: August 01, 2017

Final version: August 07, 2017

Workshop day: August 29, 2017



Sponsors

Dipartimento di Economia -- Università d'Annunzio -- logo