SAS 2006 poster



Static Analysis is increasingly recognized as a fundamental tool for program verification, bug detection, compiler optimization, program understanding, and software maintenance. The series of Static Analysis Symposia has served as the primary venue for presentation of theoretical, practical, and application advances in the area.

The Thirteenth International Static Analysis Symposium (SAS 2006) will be held in Seoul. Previous symposia were held in London, Verona, San Diego, Madrid, Paris, Santa Barbara, Venezia, Pisa, Paris, Aachen, Glasgow and Namur.


All aspects of static analysis, including, but not limited to

abstract domains   abstract interpretation
abstract testing   bug detection
data flow analysis   model checking
new applications   program transformation
program verification   security analysis
theoretical frameworks   type checking

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, and application papers, that describe experience with industrial applications, are also welcomed.


The technical program for SAS 2006 will consist of three invited lectures and presentations of 23 accepted papers. The social program includes an excursion and a banquet dinner.

Invited Speakers

Important Dates

(in Dateline Standard Time = GMT -12:00)

Submission 14 April 2006
Notification 31 May 2006
Camera-ready 10 June 2006
Early Registration 05 August 2006

Call For Papers

CFP.pdf (A4 size), CFP.pdf (Letter size), CFP text, Poster.jpg

Submissions Information

LNCS Vol.4134: the proceedings


A sunset panoramic view of SeoulA night panoramic view of Seoul