[Prev][Next][Index][Thread]
2002 Static Analysis Symposium (SAS'02) Call for Papers
(Apologies for multiple postings)
----------------------------------------------------------------------
CALL FOR PAPERS (SAS'02)
The 9th International Static Analysis Symposium
September 17 - 20 2002, Madrid, Spain
http://clip.dia.fi.upm.es/SAS02
Submission deadline: May 5, 2002
----------------------------------------------------------------------
Static Analysis is increasingly recognized as a fundamental tool
for high performance implementations and verification systems of
high-level programming languages. The series of Static Analysis
Symposia has served as the primary venue for presentation of
theoretical, practical, and application advances in the area.
The Ninth International Static Analysis Symposium (SAS'02) will be
held at the Technical University of Madrid, do-located with
Logic-based Program Development and Transformation (LOPSTR'02) and the
APPIA-GULP-PRODE Joint Conference on Declarative Programming
(AGP'02). Previous symposia were held in Paris, Santa Barbara, Venice,
Pisa, Paris, Aachen, Glasgow and Namur.
The technical program for SAS'02 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 interpretation, * data flow analysis,
* verification systems, * program specialization,
* abstract domains, * optimizing compilers,
* theoretical frameworks, * type inference,
* abstract model checking, * complexity analysis,
* abstract testing, * security analysis.
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 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.
Submission Instructions
-----------------------
All submissions must be performed electronically at
http://clip.dia.fi.upm.es/SAS02/submission.html. Submitted papers
should be at most 15 pages 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. Papers must be printable on either A4
paper or US letter, and preferably on both.
Important Dates
---------------
May 5, 2002 Submission deadline
June 10, 2002 Notification
June 30, 2002 Final version
Sept 17-20, 2002 SAS'02
Program Committee
-----------------
Manuel Hermenegildo (Chair) Technical University of Madrid, Spain
German Puebla (Co-chair) Technical University of Madrid, Spain
Radhia Cousot Ecole Polytechnique, France
Saumya Debray The University of Arizona, USA
Manuel Fahndrich Microsoft Research, USA
Roberto Giacobazzi Univerity of Verona, Italy
Chris Hankin Imperial College, UK
Giorgio Levi Univerity of Pisa, Italy
Kim Marriott Monash University, Australia
Alan Mycroft Cambridge University, United Kingdom
Ganesan Ramalingam IBM T.J. Watson Research Center, USA
Martin Rinard Massachusetts Institute of Technology, USA
Shmuel Sagiv Tel-Aviv Univerisity, Israel
Reinhard Wilhelm Universitat des Saarlandes, Germany
Contact Info
------------
Email: sas02@clip.dia.fi.upm.es
Fax: + 34 91 352 4819
Phone: + 34 91 336 7448
Post:
Manuel Hermenegildo (Ref.: SAS'02)
Facultad de Informatica
Universidad Politecnica de Madrid
28660 Boadilla del Monte
Madrid, Spain
----------------------------------------------------------------------
--