******************************************************************

S    A    S        2    0    1    2

First   Call  for  Papers

The 19th International Static Analysis Symposium

11-13 September 2012, Deauville, France

http://www.sas2012.ens.fr/


(my apologies for multiple postings)



Important dates

Abstract submission     16 March 2012 (23h59 GMT)
Full paper submission   23 March 2012 (23h59 GMT)
Notification            21 May 2012
Camera-ready            10 June 2012
Conference              11-13 September 2012


Objective

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 pre-
sentation of theoretical, practical, and application advances  in
the area. The Nineteenth International Static Analysis Symposium,
SAS 2012, will be held in Deauville,  France.  Previous  symposia
were  held  in  Venice, Perpignan, Los Angeles, Valencia, Kongens
Lyngby, Seoul, London, Verona, San Diego,  Madrid,  Paris,  Santa
Barbara, Pisa, Aachen, Glasgow, and Namur.


Topics

The   technical   program   for  SAS 2012 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,  object-
oriented,  aspect, multi-core, distributed, and GPU  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.


Submission Information

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.   Submitted
papers  will  be  judged  on  the  basis  of  significance, rele-
vance,  correctness,  originality,   and   clarity.  They  should
clearly  identify what has been  accomplished and  why it is sig-
nificant.

Paper    submissions   should  not  exceed 15 pages in Springer's
Lecture Notes in Computer Science LNCS format, excluding bibliog-
raphy   and  well-marked appendices.  Program  committee  members
are  not required to read  the  appendices,  and thus papers must
be intelligible without them.


Program Chairs

Antoine Miné            (CNRS & Ecole normale supérieure, France)
David Schmidt           (Kansas State University, USA)

Program Committee

Elvira Albert           (Complutense University of Madrid, Spain)
Patrick Cousot          (Ecole normale supérieure, France & NYU, USA)
Pietro Ferrara          (ETH Zurich, Switzerland)
Gilberto Filè           (University of Padova, Italy)
Chris Hankin            (Imperial College London, UK)
Suresh Jagannathan      (Purdue University, USA)
Matthieu Martel         (Université de Perpignan, France)
Matthew Might           (University of Utah, USA)
Anders Møller           (Aarhus University, Denmark)
David Monniaux          (CNRS, Verimag, France)
Markus Müller-Olm       (Universität Münster, Germany)
Andreas Podelski        (University of Freiburg, Germany)
G. Ramalingam           (Microsoft Research, India)
Sriram Sankaranarayanan (University of Colorado Boulder, USA)
Francesca Scozzari      (Università di Chieti-Pescara, Italy)
Thomas Wies             (New York University, USA)
Eran Yahav              (Technion, Israel)
Kwangkeun Yi            (Seoul National University, Korea)

Steering Committee

Patrick Cousot          (Ecole normale supérieure, France & NYU, USA)
Radhia Cousot           (CNRS & Ecole normale supérieure, France)
Roberto Giacobazzi      (University of Verona, Italy)
Gilberto Filè           (University of Padova, Italy)
Manuel Hermenegildo     (IMDEA Software Institute, Spain)
David Schmidt           (Kansas State University, USA)


Affiliated Events

NSAD: The 4th Workshop on Numerical and Symbolic Abstract Domains
10 September 2012

SASB: The 3rd Workshop on Static Analysis and Systems Biology
10 September 2012

TAPAS: The 3rd Workshop on Tools for Automatic Program AnalysiS
14 September 2012


Venue

SAS  2012  and  affiliated  events will take place in  Deauville,
France, at la Villa Le Cercle, at  20mn  walking  time  from  the
train station and 100m from the beach. Deauville is at only 200km
from Paris and 2h by train (departing several times  a  day  from
Gare  Saint Lazare). Deauville is famous for its beach, its race-
courses, its casino, and the American Film  Festival  (held  just
before the conference).