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 15th International Static Analysis Symposium (SAS 2008) will be held in Valencia, Spain; previous symposia were held in Kongens Lyngby, Seoul, London, Verona, San Diego, Madrid, Paris, Santa Barbara, Venezia, Pisa, Paris, Aachen, Glasgow, and Namur. SAS 2008 will be co-located with the International Symposium on Logic-based Program Synthesis and Transformation (LOPSTR 2008) and the 10th International ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming (PPDP 2008).


The technical programme for SAS 2008 will consist of invited lectures and presentations of refereed papers. Contributions are welcome on all aspects of static analysis, including, but not limited to:
abstract domainsabstract interpretation
abstract testingcompiler optimisations
control flow analysisdata flow analysis
model checkingprogram specialization
security analysistheoretical analysis frameworks
type based analysisverification 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 from a new perspective, and application papers, that describe experience with industrial applications, 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.

Invited Speakers

Roberto Giacobazzi (Universita' degli Studi di Verona, Italy)
Ben Liblit (University of Wisconsin-Madison, WI, USA)

Important Dates

Submission of abstract:January 19, 2008 (extended!)
Submission of full paper:January 26, 2008 (extended!)
Notification:March 7, 2008
Camera-ready version:April 5, 2008
Conference:July 16-18, 2008

Submission Information

Submitted papers should be at most 15 pages formatted in LNCS style (excluding bibliography and well-marked appendices not intended for publication). Program committee members are not required to read the appendices, and thus papers should be intelligible without them. The submission procedure is in two stages: Making the deadline for submission of abstracts a week early allows the programme committee to start working before full versions are available. Obviously, there is no need to wait with submission of the full version until the final deadline. Submission of an abstract implies no obligation to submit a full version; abstracts with no corresponding full versions by the final deadline will be treated as withdrawn.

Springer logo
LNCS logo

The proceedings of the Conference is planned to be published by Springer in the Lecture Notes in Computer Science series. Papers should be submitted either in PostScript or PDF format and they should be interpretable by Ghostscript or Acrobat Reader. Submissions must be in English and adhering to Springer's LNCS format already in the submission is strongly encouraged (see author's instructions given on

Submission must be send through the web submission system.


Symposium Venue

The conference will be held at the Technical University of Valencia, Spain.

More information here.


EAPLS logo European Association for Programming Languages and Systems

Valid HTML 4.01 Strict Valid CSS!