NSAD 2016

Deadlines

2016-07-18

2016-08-08

2016-06-10

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

{"minzoom":false,"maxzoom":false,"mappingservice":"leaflet","width":"auto","height":"350px","centre":false,"title":"","label":"","icon":"","lines":[],"polygons":[],"circles":[],"rectangles":[],"copycoords":false,"static":false,"zoom":false,"defzoom":14,"layers":["OpenStreetMap"],"image layers":[],"overlays":[],"resizable":false,"fullscreen":false,"scrollwheelzoom":true,"cluster":false,"clustermaxzoom":20,"clusterzoomonclick":true,"clustermaxradius":80,"clusterspiderfy":true,"geojson":"","clicktarget":"","imageLayers":[],"locations":[{"text":"","title":"","link":"","lat":55.9533456,"lon":-3.1883749,"icon":""}],"imageoverlays":null}

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

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