Call for Papers
  Prog. Committee
  Important Dates
  Contact Info

Submission

Accepted papers

Venue

Schedule

Social Events

Registration & Grants

Accommodation

Organization

Sponsorships


Co-located with:

LOPSTR '02

AGP '02


Organized by:


  
SAS '02

The 9th International Static Analysis Symposium
SAS '02
17 - 20 September 2002


Organized by:
Technical University of Madrid (Spain)
School of Computer Science

Static Analysis is increasingly recognised 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 applicative advances in the area.

The Ninth International Static Analysis Symposium (SAS'02) will be held at the Technical University of Madrid, co-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 (see Previous SAS Conferences for more details).

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.

The proceedings have been published by Springer-Verlag as number 2477 in the Lecture Notes in Computer Science series (see previous SAS proceedings).