[TYPES/announce] Final CFP for NSAD 2012: Deadline extended to 16 June 2012

[Matt Might]

Due to several requests, we have extended the deadline for NSAD 2012
to 16 June 2012.

*********

Event: Numerical and Symbolic Abstract Domains (NSAD 2012)
Submission: 16 June 2012 (Two weeks away)
Date: 10 September 2012
Location: Deauville, France. (Co-located with SAS'2012.)
Site: 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: 16 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