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

S A S 2 0 1 2

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)
Manu Sridharan (IBM Research, USA)
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).

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