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

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

!!!! NEWS: A new addition of a tool =
demonstration
paper track  !!!!

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

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 

  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. 

Simultaneous submissions to other conferences =
are not
allowed. 

 

From 2008, ATVA accepts two types of =
contributions:
RESEARCH PAPERS

and TOOL DEMONSTRATION PAPERS.  Both types =
of
contributions will appear

in the proceedings and have oral presentations =
during
the conference.

 

Research papers:

Research papers should contain original =
research, and
sufficient detail

to assess the merits and relevance of the =
contribution. 
Submissions

reporting on industrial case studies are =
welcome, and
should describe

detailed weaknesses and strength in sufficient
depth.  Submitted research

papers should be no more than 15 pages =
long. 

 

Tool demonstration =
papers:

Tool demonstration papers present tools based =
on
aforementioned

technologies or fall into the above application
areas.  Tool demonstration

papers allow researchers to stress the =
technical and
practical side,

illustrating how one can apply the theoretic =
contributions
in practice. 

Submitted tool demonstration papers should be =
no more
than 6 pages long. 

 

ORGANIZATION

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

GENERAL CO-CHAIRS:

    Sungdeok Cha (Korea Univ., Korea)

    Insup Lee (Univ. of Pennsylvania, US)=

 

PROGRAM CO-CHAIRS:

    Moonzoo Kim (KAIST, =
Korea)

    Mahesh Viswanathan =
(UIUC, USA)

 

LOCAL ARRANGEMENT CHAIR: =

    Jin-Young Choi (Korea Univ., Korea)

 

PROGRAM COMMITTEE

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

    Christel Baier (Univ. of Bonn, Germany)

    Jonathan Billington =
(Univ. of =
South Australia, Austrailia) =

    Byeong-Mo Chang (SookMyung Women University, Korea)

    Yunja Choi (Kyungpook =
National Univ, Korea)

    Ching-Tsun Chou (Intel, USA)

    Masahiro Fujita (Univ. of Tokyo, Japan)

    Susanne Graf (VERIMAG,
France) 

    Wolfgang Grieskamp =
(Microsoft
research, USA)

    Teruo Higashino (Osaka Univ., Japan)

    Franjo Ivancic (NEC =
Lab, USA)

    Ranjit Jhala (UC San Diego, USA)

    Gihwon Kwon (Kyonggi Univ., Korea)

    Insup Lee  (Univ. of Pennsylvania, USA)

    Shaoying Liu (Hosei Univ., Japan)

    Zhiming Liu (IIST/United =
Nations Univ., Macao)

    Mila E. Majster-Cederbaum =
(Univ. of Mannheim, =
Germany) =

    Ken McMillan (Cadence, =
USA) =

    In-ho Moon (Synopsis, USA)

    Shin Nakajima (National =
Institute
of Informatics, =
Japan)

    Kedar Namjoshi (Bell
Labs, USA)

    Doron A. Peled (Univ. of Warwick, UK)

    Hiroyuki Seki (NAIST, =
Japan)

    Prasad Sistla =
(Univ. of Illinois
at Chicago, =
USA) =

    P.S. Thiagarajan (National =
Univ. of Singapore, =
Singapore) =

    Yih-Kuen Tsay (National =
Taiwan Univ., =
Taiwan) =

    Bow-Yaw Wang (Academia =
Sinica, Taiwan)

    Farn Wang (National =
Taiwan Univ., =
Taiwan) =

    Ji Wang (National
U. of Techn. of =
China, China) =

    Hsu-Chun Yen (National =
Taiwan Univ., =
Taiwan) =

    Tomohiro Yoneda (National =
Institute
of Informatics, =
Japan) =

    Sergio Yovine (VERIMAG, =
France)

    Shoji Yuen (Nagoya Univ., Japan)

    Wenhui Zhang (Chinese =
Academy of Sciences, =
China) =

 

STEERING COMMITTEE

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

    E.A. Emerson  =
(University of Texas
at Austin, =
USA)

    Oscar H. Ibarra  =
(University of California,
Santa Barbara, =
USA)

    Insup Lee  (University of Pennsylvania, USA)

    Doron A. Peled  =
(University of Warwick, =
UK)=

    Farn Wang  (National Taiwan University, Taiwan)

    Hsu-Chun Yen  =
(National Taiwan University, =
Taiwan)