posted by organizer: fscozzari || 3819 views || tracked by 7 users: [display]

NSAD 2017 : Numerical and Symbolic Abstract Domains

FacebookTwitterLinkedInGoogle

Link: https://www.sci.unich.it/nsad2017/
 
When Aug 29, 2017 - Aug 29, 2017
Where New York City, NY, USA
Submission Deadline Jul 20, 2017
Notification Due Aug 1, 2017
Final Version Due Aug 7, 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

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

****** EXTENDED DEADLINES and CALL FOR PRESENTATIONS ******

1-page abstract (for presentation): July 20, 2017 (AoE) --- NEW
Regular paper submission: July 20, 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 ---

1-page abstract (for presentation): 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

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

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)

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

Submitted regular 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.

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

Related Resources

SI DENA 2024   SPECIAL ISSUE on Differential Equations and Numerical Analysis
ACM-Ei/Scopus-CCISS 2024   2024 International Conference on Computing, Information Science and System (CCISS 2024)
ML-DE@ECAI 2024   Machine Learning Meets Differential Equations: From Theory to Applications
CTISC 2024   2024 6th International Conference on Advances in Computer Technology, Information Science and Communications (CTISC 2024) -EI Compendex
ICSR 2024   21st International Conference on Software and Systems Reuse
GreeNet Symposium - SGNC 2024   15th Symposium on Green Networking and Computing (SGNC 2024)
EXPLAINS 2024   1st International Conference on Explainable AI for Neural and Symbolic Methods
CVIV 2024   2024 6th International Conference on Advances in Computer Vision, Image and Virtualization (CVIV 2024) -EI Compendex
DAMDID 2024   26th International Conference on Data Analytics and Management in Data Intensive Domains
HPA-PDE 2024   5th Workshop on Applied High Performance Numerical Algorithms for PDEs