Version française
Home     About     Download     Resources     Contact us    
Browse thread
SAS 2008 Preliminary Call for Papers
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: -- (:)
From: German Vidal <gvidal@d...>
Subject: SAS 2008 Preliminary Call for Papers
PLEASE POST --> SAS 2008 at the Technical University of Valencia

We are happy to announce that SAS 2008, the Static Analysis Symposium,
will take place at the Technical University of Valencia:

    Submission of abstract:      January 12, 2008
    Submission of full paper:    January 19, 2008
    Notification:                March 7, 2008
    Camera-ready version:        April 5, 2008
    Conference:                  July 16-18, 2008

Please see: http://www.dsic.upv.es/~sas2008/

Maria Alpuente, German Vidal (PC co-chairs)

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

                    Static Analysis Symposium - SAS 2008
                     16-18 July 2008, Valencia, Spain
                      (co-located with LOPSTR 2008)

                      url   http://www.dsic.upv.es/~sas2008
                    email   sas2008@dsic.upv.es

Static Analysis is increasingly recognized as a fundamental tool for high 
performance implementations and verification of programming languages and 
systems. The series of Static Analysis Symposia has served as the primary 
venue for presentation of theoretical, practical, and application advances 
in the area.

The technical programme for SAS 2008 will consist of invited lectures and
presentations of refereed papers. Contributions are welcome on all aspects 
of static analysis, including, but not limited to:

    abstract domains
    abstract interpretation
    abstract testing
    compiler optimizations
    control flow analysis
    data flow analysis
    model checking
    program specialization
    security analysis
    theoretical analysis frameworks
    type based analysis
    verification systems

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 from a new 
perspective, and application papers, that describe experience with 
industrial applications, are also welcome. 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 should be at most 15 pages formatted in LNCS style 
(excluding bibliography and well-marked appendices not intended for 
publication). PC members are not required to read the appendices, and thus 
papers should be intelligible without them. The conference proceedings 
is planned to be published by Springer-Verlag in the Lecture Notes in 
Computer Science series.

Invited Speakers

   Roberto Giacobazzi (Universita' degli Studi di Verona, Italy)
   Ben Liblit (University of Wisconsin-Madison, USA)

PC co-chairs

   Maria Alpuente (Technical University of Valencia, Spain)
   German Vidal (Technical University of Valencia, Spain)

PC members

   Elvira Albert (Complutense University of Madrid, Spain)
   Roberto Bagnara (University of Parma, Italy)
   Maurice Bruynooghe (Katholieke Universiteit Leuven, Belgium)
   Radhia Cousot (CNRS & Ecole Polytechnique, France)
   Javier Esparza (Technical University of Munchen, Germany)
   Sandro Etalle (University of Twente, The Netherlands)
   Moreno Falaschi (University of Siena, Italy)
   Stephen Fink (IBM T.J. Watson Research Center, USA)
   John Gallagher (Roskilde University, Denmark)
   Maria del Mar Gallardo (University of Malaga, Spain)
   Chris Hankin (Imperial College, UK)
   Manuel Hermenegildo (Technical University of Madrid, Spain)
   Julia Lawall (University of Copenhagen, Denmark)
   Alexey Loginov (IBM T.J. Watson Research Center, USA)
   Hanne Riis Nielson (Technical University of Denmark, Denmark)
   David Schmidt (Kansas State University, USA)
   Harald Sondergaard (University of Melbourne, Australia)
   Tachio Terauchi (Tohoku University, Japan)
   Ji Wang (National Laboratory for Parallel and Distributed Processing, China)

Local chair

   Alicia Villanueva (Technical University of Valencia, Spain)

Important dates

    Submission of abstract:      January 12, 2008
    Submission of full paper:    January 19, 2008
    Notification:                March 7, 2008
    Camera-ready version:        April 5, 2008
    Conference:                  July 16-18, 2008

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