m (Text replacement - "([-])User:Curator 83" to "$1Ch") |
m (Text replacement - "Official Website=([^http:])(.*)" to "Official Website=http://$1$2") |
||
(5 intermediate revisions by the same user not shown) | |||
Line 3: | Line 3: | ||
|Title=6th Workshop on Numerical and Symbolic Abstract Domains | |Title=6th Workshop on Numerical and Symbolic Abstract Domains | ||
|Type=Workshop | |Type=Workshop | ||
− | | | + | |Official Website=http://www.nsad16.di.univr.it/ |
− | |||
|City=Edinburgh | |City=Edinburgh | ||
− | |Country= | + | |Country=Country:GB |
− | |||
− | |||
− | |||
|pageCreator=Liy1 | |pageCreator=Liy1 | ||
|pageEditor=User:Curator 86 | |pageEditor=User:Curator 86 | ||
Line 16: | Line 12: | ||
|Start Date=Sep 11, 2016 | |Start Date=Sep 11, 2016 | ||
|End Date=Sep 11, 2016 | |End Date=Sep 11, 2016 | ||
+ | |Academic Field=Numerical And Symbolic Abstract Domains | ||
+ | |Event Status=as scheduled | ||
+ | |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. | 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. | ||
Line 42: | Line 47: | ||
** [[has program chair::some person]], some affiliation, country | ** [[has program chair::some person]], some affiliation, country | ||
− | * Workshop | + | * Workshop Chair |
** [[has workshop chair::some person]], some affiliation, country | ** [[has workshop chair::some person]], some affiliation, country | ||
− | * Panel | + | * Panel Chair |
** [[has OC member::some person]], some affiliation, country | ** [[has OC member::some person]], some affiliation, country | ||
− | * Seminars | + | * Seminars Chair |
** [[has tutorial chair::some person]], some affiliation, country | ** [[has tutorial chair::some person]], some affiliation, country | ||
Line 59: | Line 64: | ||
--> | --> | ||
* Program Committee Members | * Program Committee Members | ||
− | ** [[has PC member::Liqian | + | ** [[has PC member::Liqian Chen]], NUDT, China |
** [[has PC member::Mila Dalla Preda]], Universidad Complutense de Madrid, Spain | ** [[has PC member::Mila Dalla Preda]], Universidad Complutense de Madrid, Spain | ||
** [[has PC member::Isabella Mastroeni]], University of Verona, Italy | ** [[has PC member::Isabella Mastroeni]], University of Verona, Italy |
Latest revision as of 15:28, 19 October 2022
|
||
Submission |
|
||
Notification |
|
||
Camera-Ready |
Edinburgh, United Kingdom of Great Britain and Northern Ireland
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