SAS 2008 Second Call for Papers

PLEASE POST --> SAS 2008 at the Technical University of Valencia

We are happy to announce that SAS 2008, the Static Analysis Symposium,
will take place at the Technical University of Valencia:

    Submission of abstract:      January 12, 2008
    Submission of full paper:    January 19, 2008
    Notification:                March 7, 2008
    Camera-ready version:        April 5, 2008
    Conference:                  July 16-18, 2008

Please see: http://www.dsic.upv.es/~sas2008/

   ** The submission site is now open **

Maria Alpuente, German Vidal (PC co-chairs)

---------------------------------------------------------------------------
                               Call for papers

                    Static Analysis Symposium - SAS 2008
                     16-18 July 2008, Valencia, Spain
                      (co-located with LOPSTR 2008)

                      url   http://www.dsic.upv.es/~sas2008
                    email   sas2008 <at> dsic.upv.es

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