The 15th International Static Analysis Symposium
SAS 2008

Valencia, Spain
16-18 July 2008

Venue: The Technical University of Valencia

Contact: sas2008 at dsic.upv.es

Objectives

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 LOPSTR 2008 - The International Symposium on Logic-based Program Synthesis and Transformation.

Topics

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 domains	abstract interpretation
abstract testing	compiler optimisations
control flow analysis	data flow analysis
model checking	program specialization
security analysis	theoretical analysis frameworks
type based analysis	verification 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

TBA

Important Dates

Submission of abstract:	January 12, 2008
Submission of full paper:	January 19, 2008
Notification:	March 7, 20087
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.

The proceedings of the Conference is planned to be published by Springer in the Lecture Notes in Computer Science http://www.springer.de/comp/lncs/ 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 http://www.springer.de/comp/lncs/authors.html).

Submission must be send through the web submission system.

Organizers

• Program Chairs:

  María Alpuente	(Technical University of Valencia, Spain)
  Germán Vidal	(Technical University of Valencia, Spain)

• Program Committee:

  Elvira Albert	(Complutense University of Madrid, Spain)
  Roberto Bagnara	(University of Parma, Italy)
  Maurice Bruynooghe	(Katholieke Universiteit Leuven, Belgium)
  Radhia Cousot	(CNRS & École Polytechnique, France)
  Javier Esparza	(Technical University of München, Germany)
  Sandro Etalle	(University of Twente, The Netherlands)
  Moreno Falaschi	(University of Siena, Italy)
  Stephen Fink	(IBM T.J. Watson Research Center, USA)
  John Gallagher	(Roskilde University, Denmark)
  María del Mar Gallardo	(University of Malaga, Spain)
  Chris Hankin	(Imperial College, UK)
  Manuel Hermenegildo	(Technical University of Madrid, Spain)
  Julia Lawall	(University of Copenhagen, Denmark)
  Alexey Loginov	(IBM T.J. Watson Research Center, USA)
  Hanne Riis Nielson	(Technical University of Denmark, Denmark)
  David Schmidt	(Kansas State University, USA)
  Harald Søndergaard	(University of Melbourne, Australia)
  Tachio Terauchi	(Tohoku University, Japan)
  Ji Wang	(National Laboratory for Parallel and Distributed Processing, China)

• Local Organizing Committee:

  Alicia Villanueva (chair)

• Steering Committee:

  Patrick Cousot	(École Normale Supérieure, France)
  Gilberto Filé	(University of Padova, Italy)
  David Schmidt	(Kansas State University, USA)

Symposium Venue

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

More information will be available soon.

Sponsors

European Association for Programming Languages and Systems