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) was be held in London, co-located with LOPSTR 2005 - The International Symposium on Logic-based Program Synthesis and Transformation. Previous symposia were held in Verona, San Diego, Madrid, Paris, Santa Barbara, Venice, Pisa, Paris, Aachen, Glasgow and Namur (see previous SAS proceedings).

The proceedings have been published by Springer-Verlag in the Lecture Notes in Computer Science series with volume number 3672 . Learn more about SAS'05 PROCEEDINGS .