[Pl-seminar] Call for Papers: 10th Static Analysis Symposium

[Radhia Cousot]

----------------------------------------------------------------------
                             Call for Papers

                                  SAS '03
            10th Annual International Static Analysis Symposium
                 June 11-13, 2003  :  San Diego, California         
           http://www.lix.polytechnique.fr/~radhia/sas03/index.html 
            
               Federated Computing Research Conference FCRC 2003
                  http://www.acm.org/sigs/conferences/fcrc/
----------------------------------------------------------------------

   Static Analysis is increasingly recognized as a fundamental tool 
for high performance implementations and verification systems of
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 10th International Static Analysis Symposium SAS'03 will be 
held at the Town and Country Resort & Conference Center in San Diego (USA)
as part of the Federated Computing Research Conference FCRC 2003.  Previous
symposia were held in Madrid, Paris, Santa Barbara, Venice, Pisa, Paris,
Aachen, Glasgow and Namur.

   The technical program for SAS'03 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 transformation,
             abstract domains,          optimizing compilers,
             theoretical frameworks,    type inference,
             abstract model checking,   complexity analysis,
             abstract testing,          security analysis,
             mobile code,               hardware systems,
             distributed systems,       embedded 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 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://www.lix.polytechnique.fr/~radhia/sas03/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.

   Publication:

   The proceedings will be published by Springer in the Lecture Notes in
Computer Science series (see http://www.springer.de/comp/lncs/authors.html
for the LNCS Author's 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.  Selected papers will be published in
a special issue of a journal.

   Important dates:

Deadline for submissions : February 7, 2003.
Notification of acceptance or rejection : March 18, 2003.
Deadline for reception of the final versions : March 30, 2003.
The conference : June 11-13, 2003.

   Program Committee:
   
Radhia Cousot (Chair)   CNRS and Ecole polytechnique, France
Alex Aiken              University of California, Berkeley, USA
Luddy Harrison          Intel Corporation, USA
Susan Horwitz           University of Wisconsin-Madison, USA
Andy King               University of Kent, UK
Giorgio Levi            University of Pisa, Italy
Michael Lowry           NASA Ames Research Center, USA
Laurent Mauborgne       Ecole normale superieure, France
Alan Mycroft            Cambridge University, UK
Germán Puebla           Technical University of Madrid, Spain
Francesco Ranzato       University of Padova, Italy
Shmuel Sagiv            Tel-Aviv University, Israel
David Sands             Chalmers University of Technology and
                           University of Goteborg, Sweden
Helmut Seidl            University of Trier, Germany
Mary Lou Soffa          University of Pittsburgh, USA
Harald Søndergaard      University of Melbourne, Australia


   Contact info: 
radhia.cousot@polytechnique.fr