Call for Papers and Other Useful Academic Information

We apologize if you have received multiple =
copies of
the announcement.

        =
            &=
nbsp; 
CALL FOR PAPERS

************************************************=
*********************

        =
            &=
nbsp;     
ATVA 2008

        =
        
Sixth International Symposium on

        =
Automated
Technology for Verification and Analysis

        =
    
http://pswlab.kaist.ac.kr/atva2008

        =
       
Seoul, =
South Korea, October =
20-23, 2008

************************************************=
*********************

————————————————=
———————

IMPORTANT DATES

    Submission of papers
(firm):    May  5, 2008

    Notification of
authors    :    June 30, =
2008

    Camera-ready
papers        :    =
July 28,
2008

————————————————=
———————

INVITED SPEAKERS

    Theory
track     : Natarajan Shankar =
(SRI)

    Software track   :
Sriram. K. Rajamani (Microsoft)

    Application track: TBA =

————————————————=
———————

INTRODUCTION

=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D

ATVA 2008 is the sixth in the series of =
symposia on
Automated Technology for Verification and Analysis. The purpose of ATVA =
is to
promote research on theoretical and practical aspects of automated =
analysis,
verification and synthesis in East =
Asia by
providing a forum for interaction between the regional and the =
international
research communities and industry in the field. The first three ATVA =
symposia
were held in 2003, 2004 and 2005
in Taipei.
ATVA 2006 and 2007 were held in Beijing =
and Tokyo.

The proceedings of ATVA 2008 will be published =
by
Springer as a volume in the LNCS series.  Submissions reporting =
original
contributions are solicited in all areas of automated verification and
analysis.  Please visit the ATVA 2008 web site for details not =
found in this
CFP. 

SCOPE

=3D=3D=3D=3D=3D

The scope of interest is intentionally kept =
broad; it
includes :

  - Theory useful for providing designers =
with
automated support for obtaining correct software or hardware systems, =
including
both functional and non functional aspects, such as: theory on (timed)
automata, Petri-nets, concurrency theory, compositionality, =
model-checking,
automated theorem proving, synthesis, performance analysis,
correctness-by-construction results, infinite state systems, abstract
interpretation, decidability results, parametric analysis or =
synthesis.

  - Applications of theory in engineering =
methods
and particular domains and handling of practical problems occurring in =
tools,
such as: analysis and verification tools, synthesis tools, reducing =
complexity
of verification by abstraction, improved representations, handling user =
level
notations, such as UML, practice in industry applications to hardware, =
software
or real-time and embedded systems. Case studies, illustrating the =
usefulness of
tools or a particular approach are also =
welcome.

Theory papers should be motivated by practical
problems and applications should be rooted in sound theory. Of =
particular
interest are algorithms on one hand and methods and tools for =
integrating
formal approaches into industrial practice. Special care should be taken =
as
well to present papers in such a way that they are accessible not only =
to
specialists, that is, jargon need to be defined and intuitive =
interpretation
provided for theories.

SUBMISSIONS

=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D

A submitted paper must contain original =
contributions,
clearly written in English, and include comparison with related =
work.  The
authors are advised to prepare their manuscripts using the LNCS =
style. 
Each paper should be no more than 15 pages long and be submitted =
electronically
via the ATVA 2008 Web site.  Simultaneous submissions to other =
conferences
are not allowed.

ORGANIZATION

=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=

GENERAL CO-CHAIRS:

    Sungdeok Cha (KAIST, =
Korea)