[ecoop-info] First CFP: SAS 2012 - 19th International Static Analysis Symposium, Deauville, France

Antoine Mine Antoine.Mine at ens.fr
Tue Dec 27 22:29:48 CET 2011


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

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

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


More information about the ecoop-info mailing list