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

[Matt Might]

**********************************************************************
*                                                                    *
*               The Fourth International Workshop on                 *
*                                                                    *
*        Numerical and Symbolic Abstract Domains (NSAD 2012)         *
*                                                                    *
*                                                                    *
*  10 September 2012, Deauville, France. Co-located with SAS'2012.   *
*                                                                    *
*                http://nsad2012.ucombinator.org/                    *
*                                                                    *
**********************************************************************

Objectives

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.


Scope

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


Submission

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:

  https://www.easychair.org/conferences/?conf=nsad2012


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