<p> <b><b><b><b>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 Sixteenth International Static Analysis Symposium (SAS 2009) will be held in Los Angeles, CA, USA. Previous symposia were held in Valencia, Kongens Lyngby, Seoul, London, Verona, San Diego, Madrid, Paris, Santa Barbara, Venezia, Pisa, Paris, Aachen, Glasgow, and Namur. </b></b></b></b></p> <p> <b><b><b><b>SAS 2009 will be co–located with <a href="http://www2.informatik.hu–berlin.de/lics/lics09/">LICS 2009</a>, 24th IEEE Symposium on Logic in Computer Science. SAS and LICS will have a shared session with an invited speaker. Last time SAS and LICS were co–located was in 2000 in Santa Barbara. </b></b></b></b></p>
Abbrevation
SAS
City
Los Angeles
Country
United States
Deadline Paper
Start Date
End Date
Abstract