The Third International Workshop on Numerical and Symbolic Abstract Domains

A SAS 2011 satellite workshop.

Date: 13 September 2011.

Location: Venice, Italy.


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.), and have been applied to several kinds of static analyses (safety, termination, probability, etc.).
The Third International Workshop on Numerical and Symbolic Abstract Domains is intended to discuss on-going works and ideas in the field.


The program of NSAD 2011 will consist mainly of presentations of refereed papers. Contributions are welcomed on all aspects of abstract domains, including, but not limited to:

Important Dates

Submission deadline 19th June
Notification 1st August
Final version 15th August
Workshop date 13th September

Invited Speakers

Francesca Scozzari Universitá "G. D'Annunzio" di Chieti
Leopold Haller University of Oxford


8h30-9h00: Welcome

9h00-10h00: Invited Talk

Coffee Break

10h30-11h20: Session 1

11h40-12h30: Session 2

Lunch Break

14h00-15h00: Invited Talk

Coffee Break

15h30-16h45: Session 3

16h45-17h00: Concluding Remarks.


The proceedings of the workshop will be published by Elsevier, in the Electronic Notes in Theoretical Computer Science series.


Program Co-Chairs

Damien Massé Université de Bretagne Occidentale, France
Laurent Mauborgne IMDEA Software Institute, Spain

Program Committee

Elvira Albert Complutense University of Madrid, Spain
Xavier Allamigeon INRIA, France
Enric Rodriguez Carbonell Technical University of Catalonia, Spain
Bor-Yuh Evan Chang Univeristy of Colorado, USA
Dino Distefano Queen Mary University of London, UK
Andy King University of Kent, UK
Colas Le Guernic New York University, USA
Antoine Miné École normale supérieure, France
Michaël Monerau École normale supérieure, France
Enea Zaffanella University of Parma, Italy

Local Arrangement Chair

Gilberto Filé University of Padova, Italy

Steering Committee

Radhia Cousot École normale supérieure & CNRS, France
Laurent Mauborgne IMDEA Software Institute, Spain
Matthew Might University of Utah, USA


All submitted papers will be peer-reviewed by the program committee.

Submitted papers should not exceed 12 pages including bibliography, and follow the ENTCS guidelines. Submitted papers may include, in addition, an appendix containing technical details, which reviewers may read or not, at their discretion.

Papers must be written and presented in English, and describe original work that does not substantially overlap with papers that have been published or that are simultaneously submitted to a journal, conference, or workshop with refereed proceedings.

To submit a paper (before 19 June 2011), follow this link:

Previous Workshops