[TYPES/announce] SAS 2009 2nd Call for Papers

[Zhendong Su]

----------------------------------------------------------------------------
			     Call for Papers

		The 16th International Static Analysis Symposium
		    	        (SAS 2009)
                        9-11 August 2009, Los Angeles, CA
                           (co-located with LICS 2009)

		       URL: http://sas09.cs.ucdavis.edu/

              Venue: UCLA, University of California, Los Angeles


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.

SAS 2009 will be co-located with LICS 2009, 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.

The technical programme for SAS 2009 will consist of invited lectures
and presentations of refereed papers. Contributions are welcomed on 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.  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.

Paper submissions should not exceed 15 pages in LNCS format, excluding
bibliography and well-marked appendices. Program committee members are
not required to read the appendices, and thus papers must be
intelligible without them.  Submitted papers will be judged on the basis
of significance, relevance, correctness, originality, and clarity. They
should clearly identify what has been accomplished and why it is
significant.  The proceedings is planned to be published by
Springer Verlag in the Lecture Notes in Computer Science series.

Important Dates

     Submission (abstract)	10 February 2009
     Submission (full paper)	17 February 2009
     Notification 		17 April 2009
     Camera-ready		TBA
     Early Registration		TBA 	
     Conference 	        	9-11 August 2009

Invited Speakers:
       	
       Rastislav Bodik, University of California, Berkeley
       Edmund M. Clarke, Carnegie Mellon University (LICS/SAS joint)
       Shaz Qadeer, Microsoft Research    	

Program Co-Chairs:

       Jens Palsberg (University of California, Los Angeles)
       Zhendong Su (University of California, Davis)

Program Committee:

       Alex Aiken (Stanford University, USA)
       Maria Alpuente (Technical University of Valencia, Spain)
       Radia Cousot (CNRS, France)
       Sumit Gulwani (Microsoft Research, USA)
       Chris Hankin (Imperial College, UK)
       Joxan Jaffar (National University of Singapore, Singapore)
       Suresh Jagannathan (Purdue University, USA)
       Naoki Kobayashi (Tohoku University, Japan)
       Viktor Kuncak (Swiss Federal Institute of Technology, Switzerland)
       Ana Milanova (Rensselaer Polytechnic Institute, USA)
       Anders Møller (BRICS, University of Aarhus, Denmark)
       Aditya Nori (Microsoft Research, India)
       Andreas Podelski (University of Freiburg, Germany)
       Jakob Rehof (University of Dortmund, Germany)
       Thomas Reps (University of Wisconsin-Madison, USA)
       Harald Søndergaard (University of Melbourne, Australia)
       Eran Yahav (IBM TJ Watson Research Center, USA)
       Kwangkeun Yi (Seoul National University, Korea)

Steering Committee:

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

Venue

      SAS 2009 will be hosted by UCLA, University of California, Los
      Angeles.  We have reserved inexpensive sleeping rooms on the UCLA
      campus, near the building in which the conference will take
      place. Los Angeles International Airport (LAX) is 15 miles from the
      conference site. Los Angeles has attractions such as Sunset
      Boulevard, Beverly Hills, Santa Monica Pier, The Hollywood Walk of
      Fame, Disneyland, Universal Studios Hollywood, and Dodger Stadium.

----------------------------------------------------------------------------