[TYPES/announce] 2nd Call for Papers: NSAD 2012 (co-located with SAS 2012)

Matt Might might at cs.utah.edu
Mon May 14 10:33:57 EDT 2012

Event: Numerical and Symbolic Abstract Domains (NSAD 2012)

Submission: 6 June 2012 (Three weeks away!)

Date: 10 September 2012

Location: Deauville, France. (Co-located with SAS'2012.)

Site: http://nsad2012.ucombinator.org/


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 Fourth International Workshop on Numerical and Symbolic Abstract
Domains is intended to discuss on-going work and ideas in the field.
NSAD 2012 will be co-located with SAS'2012.


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

* numeric abstract domains
* symbolic abstract domains
* extrapolations and accelerations
* compositions and operations on abstract domains
* data structures and algorithms for abstract domains
* novel applications of abstract domains
* implementations
* practical experiments and comparisons


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.

The NSAD 2012 proceedings will be published electronically in a volume
of the Electronic Notes in Theoretical Computer Science series by
ScienceDirect(c), Elsevier.

To submit a paper, follow this link:


Important dates

Submission deadline: 6 June 2012
Notification: 15 July 2012
Final version: 7 August 2012
Workshop: 10 September 2012

 Program Committee

 John P. Gallagher, Roskilde University / IMDEA-Software Institute
 Patricia M. Hill, BUGSENG / University of Leeds
 Isabella Mastroeni, Verona University
 Xavier Rival, INRIA Roquencourt / ENS Paris
 Axel Simon, Technical University Munich
 Pascal Sotin, ENS Paris
 David Van Horn, Northeastern University

On behalf of the program co-chairs,

 Jan Midtgaard, Aarhus University
 Matt Might, University of Utah

More information about the Types-announce mailing list