NSAD 2017 - Extended deadlines

[Francesca Scozzari]

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

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

https://www.sci.unich.it/nsad2017/

****** EXTENDED DEADLINES ******

Abstract submission: May 10, 2017 (AoE) --- EXTENDED
Full paper submission: May 15, 2017 (AoE) --- EXTENDED

************************************

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.

TOPICS

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.

IMPORTANT DATES --- EXTENDED ---

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

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

PROGRAM COMMITTEE
     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)

LOCAL CHAIR
     Patrick Cousot (New York University, USA)

SUBMISSION

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: https://easychair.org/conferences/?conf=nsad2017