---------------------------------------------------------------------- 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 ACM 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 : 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 U. and U. 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: sas03@lix.polytechnique.fr