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:
Please visit the submission website: https://www.easychair.org/login.cgi?conf=nsad2010 . 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 (http://www.entcs.org/prelim.html). 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.
We have a preliminary approval to publish the workshop proceedings electronically via ENTCS.
Printed proceedings will be distributed at the workshop.