First CFP: SAS 2012 - 19th International Static Analysis Symposium, Deauville, France

                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).