You do not have permission to edit this page, for the following reason:
The action you have requested is limited to users in the group: Users.
Add another
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== <!-- * Co-Organizers * General Co-Chairs ** [[has general chair::some person]], some affiliation, country * PC Co-Chairs ** [[has program chair::some person]], some affiliation, country * Workshop Chair ** [[has workshop chair::some person]], some affiliation, country * Panel Chair ** [[has OC member::some person]], some affiliation, country * Seminars Chair ** [[has tutorial chair::some person]], some affiliation, country * Demonstration Co-Chairs ** [[has demo chair::some person]], some affiliation, country ** [[has demo chair::some person]], some affiliation, country * Local Organizing Co-Chairs ** [[has local chair::some person]], some affiliation, country --> * Program Committee Members ** [[has PC member::Liqian Chen]], NUDT, China ** [[has PC member::Mila Dalla Preda]], Universidad Complutense de Madrid, Spain ** [[has PC member::Isabella Mastroeni]], University of Verona, Italy ** [[has PC member::Matt Might]], University of Utah, USA ** [[has PC member::Sylvie Putot]], LIX, Paris, France ** [[has PC member::Edward Robbins]], University of Kent, UK ** [[has PC member::Axel Simon]], Google Inc., USA ** [[has PC member::Damiano Zanardini]], Universidad Politécnica de Madrid, Spain
Save page Show preview Cancel