Difference between revisions of "NSAD 2016"
(Created page with "{{Event |Acronym=NSAD 2016 |Title=6th Workshop on Numerical and Symbolic Abstract Domains |Type=Workshop |Field=Numerical and Symbolic Abstract Domains |Start date=Sep 11, 201...") |
|||
| (2 intermediate revisions by 2 users not shown) | |||
| Line 6: | Line 6: | ||
|Start date=Sep 11, 2016 | |Start date=Sep 11, 2016 | ||
|End date=Sep 11, 2016 | |End date=Sep 11, 2016 | ||
| − | |Homepage= | + | |Homepage=www.nsad16.di.univr.it/ |
|City=Edinburgh | |City=Edinburgh | ||
|Country=Scotland | |Country=Scotland | ||
| Line 14: | Line 14: | ||
}} | }} | ||
| − | + | 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== | ==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== | ==Submissions== | ||
==Important Dates== | ==Important Dates== | ||
==Committees== | ==Committees== | ||
| + | <!-- | ||
* Co-Organizers | * Co-Organizers | ||
* General Co-Chairs | * General Co-Chairs | ||
| Line 43: | Line 53: | ||
* Local Organizing Co-Chairs | * Local Organizing Co-Chairs | ||
** [[has local chair::some person]], some affiliation, country | ** [[has local chair::some person]], some affiliation, country | ||
| − | + | --> | |
* Program Committee Members | * Program Committee Members | ||
| − | ** [[has PC member:: | + | ** [[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 | ||
Latest revision as of 10:33, 21 June 2016
| NSAD 2016 | |
|---|---|
6th Workshop on Numerical and Symbolic Abstract Domains
| |
| Dates | Sep 11, 2016 (iCal) - Sep 11, 2016 |
| Homepage: | www.nsad16.di.univr.it/ |
| Location | |
| Location: | Edinburgh, Scotland |
Loading map... | |
| Important dates | |
| Submissions: | Jun 10, 2016 |
| Notification: | July 18, 2016 |
| Camera ready due: | August 08, 2016 |
| Table of Contents | |
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
Facts about "NSAD 2016"
| Acronym | NSAD 2016 + |
| Camera ready due | August 8, 2016 + |
| End date | September 11, 2016 + |
| Event type | Workshop + |
| Has OC member | Some person + |
| Has PC member | Liqian Chen +, Mila Dalla Preda +, Isabella Mastroeni +, Matt Might +, Sylvie Putot +, Edward Robbins +, Axel Simon + and Damiano Zanardini + |
| Has coordinates | 55° 57' 12", -3° 11' 18"Latitude: 55.953344444444 Longitude: -3.188375 + |
| Has demo chair | Some person + |
| Has general chair | Some person + |
| Has local chair | Some person + |
| Has location city | Edinburgh + |
| Has location country | Category:Scotland + |
| Has program chair | Some person + |
| Has tutorial chair | Some person + |
| Has workshop chair | Some person + |
| Homepage | http://nsad16.di.univr.it/ + |
| IsA | Event + |
| Notification | July 18, 2016 + |
| Start date | September 11, 2016 + |
| Submission deadline | June 10, 2016 + |
| Title | 6th Workshop on Numerical and Symbolic Abstract Domains + |
