Difference between revisions of "Event:NSAD 2016"

Latest revision as of 15:28, 19 October 2022

Deadlines

10
Jun

2016

Submission

18
Jul

2016

Notification

8
Aug

2016

Camera-Ready

Venue

Edinburgh, United Kingdom of Great Britain and Northern Ireland

Loading map...

Warning: Venue is missing. The map might not show the exact location.

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 6th International Workshop on Numerical and Symbolic Abstract Domains is intended to discuss on-going work and ideas in the field.

Topics

numeric abstract domain
symbolic abstract domains
extrapolations and accelerations
design of abstract transformers
compositions and operations on abstract domains
data structures and algorithms for abstract domains
novel applications of abstract domains implementations
practical experiments and comparisons

Submissions

Important Dates

Committees

Program Committee Members
- Liqian Chen, NUDT, China
- Mila Dalla Preda, Universidad Complutense de Madrid, Spain
- Isabella Mastroeni, University of Verona, Italy
- 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

@@ Line 3: / Line 3: @@
 |Title=6th Workshop on Numerical and Symbolic Abstract Domains
 |Type=Workshop
-|Homepage=www.nsad16.di.univr.it/
+|Official Website=http://www.nsad16.di.univr.it/
 |City=Edinburgh
 |Country=Country:GB
-|Submission deadline=Jun 10, 2016
-|Notification=July 18, 2016
-|Camera ready=August 08, 2016
 |pageCreator=Liy1
 |pageEditor=User:Curator 86
@@ Line 19: / Line 16: @@
 |Event Mode=on site
 }}
+{{Event Deadline
+|Notification Deadline=July 18, 2016
+|Camera-Ready Deadline=August 08, 2016
+|Submission Deadline=Jun 10, 2016
+}}
+{{S Event}}
 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 6th International Workshop on Numerical and Symbolic Abstract Domains is intended to discuss on-going work and ideas in the field.