You are here: Home / CFP Folder / Jun 1, 2010 - NSAD 2010 (The Second International Workshop on Numerical and Symbolic Abstract Domains)

Jun 1, 2010 - NSAD 2010 (The Second International Workshop on Numerical and Symbolic Abstract Domains)

13 September 2010 - Palais des Congrès (Exhibition and Conference Center), Perpignan, France.
When Jun 01, 2010
Where Perpignan, France
Add event to calendar vCal
iCal

The Second International Workshop on Numerical and Symbolic Abstract Domains (NSAD 2010)

A SAS 2010 satellite workshop.

Date: 13 September 2010.

Venue: Palais des Congrès (Exhibition and Conference Center), Perpignan, France.

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

After a successful first NSAD co-located with VMCAI 2005 in Paris, the second NSAD will be co-located with SAS 2010 in Perpignan, France.

Scope

The program of NSAD 2010 will consist mainly 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 experimentations and comparisons

Submission

Please visit the submission website. The website is powered by EasyChair, thanks to Andrei Voronkov.

 

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.

Publication

We have a preliminary approval to publish the workshop proceedings electronically via ENTCS.

Printed proceedings will be distributed at the workshop.

Important Dates

Submission Deadline1st June 2010
Notification14th July 2010
Final version1st August 2010
Workshop Date 13th September 2010

Organizers

Invited Speaker

Program

To be announced.

 

More information about this event…

Navigation
« December 2017 »
December
MoTuWeThFrSaSu
123
45678910
11121314151617
18192021222324
25262728293031