[TYPES/announce] SAS'06 2nd Call For Papers

Kwangkeun Yi kwang at ropas.snu.ac.kr
Sun Feb 12 05:02:01 EST 2006


*****************************************************************************
                          2nd Call For Papers

           The 13th International Static Analysis Symposium (SAS'06)
 
                             Seoul, Korea
                           29-31 August 2006
                      http://ropas.snu.ac.kr/sas06

*****************************************************************************
IMPORTANT DATES:   PLEASE NOTE THE CHANGE OF DATES

 Submission:   14 April 2006 (<-------- was 7 April)
 Notification: 31 May 2006   (<-------- was 26 May)
 Camera-ready: 10 June 2006


SUMMARY

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
Thirteenth International Static Analysis Symposium (SAS'06) will be
held in Seoul, hosted by the Seoul National University.  Previous
symposia were held in London, Verona, San Diego, Madrid, Santa
Barbara, Venice, Pisa, Paris, Aachen, Glasgow and Namur.

The technical program for SAS'06 will consist of invited lectures,
tutorials, presentations of refereed papers, and software
demonstrations. Contributions are welcome 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 specialization 
      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.


SUBMISSIONS INFORMATION

- All submissions be submitted electronically online via the
  symposium web page http://ropas.snu.ac.kr/sas06.
  Acceptable formats are PostScript or PDF, viewable by Ghostview or
  Acrobat Reader.
- 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. 


PROGRAM CHAIR:
 Kwangkeun Yi  (Seoul National U., Korea)
 Email: kwang at ropas.snu.ac.kr

PROGRAM COMMITTEE:
 Anindya  Banerjee    (Kansas State U., USA)
 Wei-Ngan Chin        (National U. of Singapore, Singapore)
 Patrick  Cousot      (ENS Paris, France)
 Roberto  Giacobazzi  (U. of Verona, Italy)
 Chris    Hankin      (Imperial College, UK)
 Luddy    Harrison    (U. of Illinois at Urbana-Champaign, USA)
 Naoki    Kobayashi   (Tohoku U., Japan)
 Oukseh   Lee         (Hanyang U., Korea)
 Alan     Mycroft     (U. of Cambridge, UK)
 Kedar    Namjoshi    (Bell Labs., USA)
 Jens     Palsberg    (UCLA, USA)
 Andreas  Podelski    (Max-Planck-Institut, Germany)
 Ganesan  Ramalingam  (IBM T.J.Watson, USA)
 Radu     Rugina      (Cornell U., USA)
 Harald   Sondergaard (U. of Melbourne, Australia)
 Zhendong Su          (UC Davis, USA)
 Reinhard Wilhelm     (U. des Saarlandes, Germany)
************************************************************************




More information about the Types-announce mailing list