PRELIMINARY
CALL FOR PAPERS
SAS'05 Call
for Papers
The 12th
International Static Analysis Symposium
7-9
September 2005,
(co-located with
LOPSTR'05)
Static
Analysis is increasingly recognized as a fundamental tool for high performance
implementations and verification of programming languages and systems. The
series of Static Analysis Symposia has served as the primary venue for
presentation of theoretical, practical, and application advances in the
area. The twelfth International Static
Analysis Symposium (SAS'05) will be held in
The
technical program for SAS'05 will consist of invited lectures, tutorials,
panels, presentations
of refereed papers, and software demonstrations. Contributions
are welcome on all aspects of Static Analysis, including, but not limited to:
abstract domains, abstract
interpretation, abstract
testing, complexity analysis,
data flow analysis, model
checking, optimizing
compilers, program specialization,
security analysis, theoretical
frameworks, type inference, verification systems.
Submissions
can address any programming paradigm, including concurrent, constraint,
functional, imperative, logic and object-oriented programming. Survey papers,
that present some aspect of the above topics with a new coherence, and
application papers, that describe experience with industrial applications, are
also welcome. Papers must describe
original work, be written and presented in English, and must not substantially
overlap with papers that have been published or that are simultaneously
submitted to a journal or a conference with refereed proceedings.
Submitted papers should be at most 15 pages formatted in LNCS style (excluding bibliography and well-marked appendices). Program committee members are not required to read the appendices, and thus papers should be intelligible without them. The proceedings will be published by Springer-Verlag in the Lecture Notes in Computer Science series (see http://www.springer.de/comp/lncs/authors.html for the LNCS author instructions). Thus, adhering to that style already in the submission is strongly encouraged. Papers should be submitted either in PostScript or PDF format and they should be interpretable by Ghostscript or Acrobat Reader.
Important dates:
Submission:
Notification:
Camera-ready:
Conference: 7-9 September 2005.
Program Committee:
·
Thomas Ball (
·
Radhia Cousot
(CNRS/Ecole Polytechnique,
FR)
·
Alessandra Di Pierro (U.
·
Gilberto File
(U. Padova, IT)
·
Roberto Giacobazzi (U.
·
·
Thomas Jensen
(IRISA/CNRS
·
Andy King (U.
·
Pasquale Malacaria (
·
Laurent Mauborgne (ENS, FR)
·
Alan Mycroft (U.
·
Andreas Podelski (
·
German
·
Ganesan Ramalingam (
·
Andrei Sabelfeld (Chalmers, SE)
·
Mooly Sagiv,
(Tel
·
Harald Sondergaard
(U. Melbourne, AU)
·
Bernhard Steffen
(U.
Contact address:
Department of Computing
South Kensington Campus
e-mail: clh@doc.ic.ac.uk