[hofa] CFP: SAS'2010 - 17th International Static Analysis Symposium, Perpignan, France

[David Van Horn]

---------- Forwarded message ----------
From: Matthieu Martel <matthieu.martel at univ-perp.fr>
Date: Fri, Feb 12, 2010 at 11:51 AM
Subject: CFP: SAS'2010 - 17th International Static Analysis Symposium,
Perpignan, France

---------------------------------------------------------------------------
                               Call for papers
                    Static Analysis Symposium - SAS 2010
                  14-16 September 2010, Perpignan, France
                      url   http://sas2010.univ-perp.fr/
                    email   sas2010 at 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
---------------------------------------------------------------------------

--
Ce message a été vérifié par MailScanner
pour des virus ou des polluriels et rien de
suspect n'a été trouvé.
CRI UPVD http://www.univ-perp.fr