Prev: Abbreviation for word "array"?
Next: A bit resistant to disruption
From: Matthieu Martel on 12 Feb 2010 11:32


---------------------------------------------------------------------------
                              Call for papers

                   Static Analysis Symposium - SAS 2010
                 14-16 September 2010, Perpignan, France

                     url   http://sas2010.univ-perp..fr/
                   email   sas2010(a)univ-perp.fr

                            Affiliated Events

NSAD 2010: The Second Workshop on Numerical and Symbolic Abstract
Domains
                     http://www.di.ens.fr/nsad2010/

    SASB 2010: First Workshop on Static Analysis and Systems Biology
                     http://www.di.ens.fr/sasb2010/

            TAPAS 2010: Tools for Automatic Program AnalysiS
                     http://www.di.ens.fr/tapas2010/

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
Seventeenth International Static Analysis Symposium (SAS 2010) will be
held in Perpignan, France. Previous symposia were held in Los Angeles,
Valencia, Kongens Lyngby, Seoul, London, Verona, San Diego, Madrid,
Paris, Santa Barbara, Venezia, Pisa, Paris, Aachen, Glasgow, and
Namur.

The technical programme for SAS 2010 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.

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.  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,
relevance, correctness, originality, and clarity. They should clearly
identify what has been accomplished and why it is significant.  The
proceedings will be published by Springer-Verlag's Lecture Notes in
Computer Science series.

Invited Speakers

  Manuel Fahndrich, Microsoft Research
  David Lesens, EADS Space Transportation
  Andreas Podelski, Freiburg University
  Mooly Sagiv, Tel-Aviv University

PC co-chairs

  Radhia Cousot (Ecole Normale Supérieure & CNRS, France)
  Matthieu Martel (Université de Perpignan Via Domitia, France)

PC members
 
  Elvira Albert (Complutense University of Madrid, Spain)
  Maria Alpuente (Universidad Politecnica de Valencia, Spain)
  Olivier Bouissou (Commissariat à l'Energie Atomique, France)
  Byron Cook (Microsoft Research, Cambridge, UK)
  Susanne Graf (Verimag/CNRS, Grenoble, France)
  Joxan Jaffar (National University of Singapore, Singapore)
  Neil Jones (University of Copenhagen, Denmark)
  Francesca Levi (University of Pisa, Italy)
  Francesco Logozzo (Microsoft Research, Redmond, USA)
  Damien Massé (Université de Bretagne Occidentale, France)
  Isabella Mastroeni (Università degli Studi di Verona, Italy)
  Laurent Mauborgne (Ecole Normale Supérieure, France)
  Matthew Might (University of Utah, USA)
  George Necula (University of California, Berkeley, USA)
  Francesco Ranzato (Università di Padova, Italy)
  Andrey Rybalchenko (Max Planck Institute, Saarbrucken, Germany)
  Mary Lou Soffa (University of Virginia, USA)
  Zhendong Su (University of California, Davis, USA)
  Greta Yorsh (IBM T.J. Watson Research Center, USA)

Important dates

   Submission of abstract:      March 12, 2010
   Submission of full paper:    March 19, 2010
   Notification:                May 4, 2010
   Camera-ready version:        June 11, 2010
   Conference:                  July 14-16, 2010

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


 | 
Pages: 1
Prev: Abbreviation for word "array"?
Next: A bit resistant to disruption