Numerical and Symbolic Abstract Domains
NSAD 2017
- URL: https://www.sci.unich.it/nsad2017/
- Event Date: 2017-08-29 ~ 2017-08-29
- Abstract Submission Date: 2017-05-03
- Submission Date: 2017-05-08
- Location: New York, United States of America
Engineering & Computer Science (General) Theoretical Computer Science
7th International Workshop
New York City, NY, USA - August 29, 2017
https://www.sci.unich.it/nsad2017/
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
Abstract submission: May 3, 2017 (AoE)
Full paper submission: May 8, 2017 (AoE)
Notification: June 19, 2017
Final version: July 3, 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
Journal Promotion
|
| Acta Koreana (Acta Koreana) |
|
| Acta Via Serica (AVS) |
|
| Computers and Concrete (CAC) |
|
| Journal of Information Processing Systems (JIPS) |
|
| Journal of Internet Computing and Services (KSII - JICS) |
|
| Journal of Smart Tourism (Smart Tourism) |
|
| Membrane and Water Treatment (MWT) |
|
| Wind and Structures, An International Journal (Wind and Structures) |
MANUSCRIPTLINK © 2015 -
