posted by organizer: isabella_mastroeni || 2319 views || tracked by 3 users: [display]

NSAD 2016 : 6th Workshop on Numerical and Symbolic Abstract Domains

FacebookTwitterLinkedInGoogle

Link: http://nsad16.di.univr.it/
 
When Sep 11, 2016 - Sep 11, 2016
Where Edinburgh
Submission Deadline Jun 10, 2016
Notification Due Jul 18, 2016
Final Version Due Aug 8, 2016
Categories    computer science   abstract domains   static analysis   abstract interpretation
 

Call For Papers

NSAD 2016 CALL FOR PAPERS

6th International Workshop on Numerical and Symbolic Abstract Domains (NSAD)

http://nsad16.di.univr.it

September 11, 2016, Edinburgh, Scotland

Co-located with SAS 2016 (http://staticanalysis.org/sas2016/), 23rd Static Analysis Symposium.

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

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

The program of NSAD 2016 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
compositions and operations on abstract domains
data structures and algorithms for abstract domains
novel applications of abstract domains
implementations
practical experiments and comparisons
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.

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

To submit a paper visit the workshop webpage.

IMPORTANT DATES

Paper Submission: June 10, 2016 anywhere on earth

Acceptance Notification: July 18, 2016

Camera ready: August 08, 2016

Conference: September 11, 2016 (right after SAS)

PROGRAM COMMITTEE

Liqian Chen (NUDT, China)

Mila Dalla Preda (University of Verona, Italy)

Samir Genaim (Universidad Complutense de Madrid, Spain)

Isabella Mastroeni, University of Verona, Italy, PC chair

Matt Might (University of Utah, USA)

Sylvie Putot (LIX, Paris, France)

Edward Robbins (University of Kent, UK)

Axel Simon (Google Inc., USA)

Damiano Zanardini (Universidad Polit├ęcnica de Madrid, Spain)



ADDITIONAL INFORMATION

Please consult

http://nsad16.di.univr.it

or contact the PC chair (isabella.mastroeni@univr.it).

SPONSOR

Computer Science Department of the University of Verona

Related Resources

SYNASC 2020   22th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing
AVC 2020   Advances in Vision Computing: An International Journal
SAS 2020   Static Analysis Symposium, SAS 2020
IEEE-CVIV 2020-Ei/Scopus 2020   2020 2nd International Conference on Advances in Computer Vision, Image and Virtualization (CVIV 2020)
FedCSIS - CSS 2020   FedCSIS 2020 Track 2: Computer Science and Systems (CSS)
AIKE 2020   IEEE Artificial Intelligence & Knowledge Engineering 2020
APCMHS 2020   2020 3rd Asia Pacific Conference on Medical and Health Science (Abstract Submission,SCI indexed and SCI Journal Publishing)
ACM--NLPIR--Ei Compendex and Scopus 2020   ACM--2020 4th International Conference on Natural Language Processing and Information Retrieval (NLPIR 2020)--Scopus, Ei Compendex
ELS 2020   XIXth Electromagnetic and Light Scattering Conference
JSE 2020   9th International Conference on Software Engineering and Applications