CFP: SAS'06

Discussion in 'Perl Misc' started by Deokhwan Kim, Nov 12, 2005.

  1. Deokhwan Kim

    Deokhwan Kim Guest

    [apologies if you receive this CFP multiple times]

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

    First 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

    Submission: 7 April 2006
    Notification: 26 May 2006
    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
    program specialization security analysis
    theoretical frameworks type checking
    verifications new applications

    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:

    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)
    ************************************************************************
     
    Deokhwan Kim, Nov 12, 2005
    #1
    1. Advertising

Want to reply to this thread or ask your own question?

It takes just 2 minutes to sign up (and it's free!). Just click the sign up button to choose a username and then you can ask your own questions on the forum.
Similar Threads
  1. Carlos

    ASP .Net and SAS

    Carlos, Dec 1, 2004, in forum: ASP .Net
    Replies:
    1
    Views:
    1,694
    WizyDig
    Dec 1, 2004
  2. java and sas

    , Sep 27, 2004, in forum: Java
    Replies:
    1
    Views:
    365
    Andrew Thompson
    Sep 27, 2004
  3. Deokhwan Kim

    CFP: SAS'06

    Deokhwan Kim, Nov 14, 2005, in forum: Java
    Replies:
    0
    Views:
    336
    Deokhwan Kim
    Nov 14, 2005
  4. Deokhwan Kim

    CFP: SAS'06

    Deokhwan Kim, Nov 12, 2005, in forum: C Programming
    Replies:
    0
    Views:
    369
    Deokhwan Kim
    Nov 12, 2005
  5. Deokhwan Kim

    CFP: SAS'06

    Deokhwan Kim, Nov 12, 2005, in forum: Ruby
    Replies:
    0
    Views:
    72
    Deokhwan Kim
    Nov 12, 2005
Loading...

Share This Page