Logic List Mailing Archive

Third International Symposium on Automated Technology for Verification and Analysis (Taipei, October 2005)

ANNOUNCEMENT AND PRELIMINARY CALL FOR PAPERS

ATVA 2005
Third International Symposium on
Automated Technology for Verification and Analysis
Taipei, Taiwan, October 4-7, 2005
http://www.im.ntu.edu.tw/~atva2005/

ATVA 2005 is the third of the Automated Technology for Verification and
Analysis international symposium series.  The purpose of the symposium
series is to promote research on automated verification and analysis in
East Asia by providing a forum for interaction between the regional and
the international research/industrial communities of the field.
Submissions reporting original contributions are solicited in all areas
of automated verification and analysis.

IMPORTANT DATES
May 23 (Monday): papers submission
July 1 (Friday): acceptance notification
July 22 (Friday): camera-ready version
October 4 (Tuesday) -- 7 (Friday): ATVA 2005

CO-LOCATION WITH FORTE 2005
ATVA 2005 will be co-located and have a two-day overlap with FORTE 2005,
which is to be held October 2--5.

KEYNOTE SPEAKERS
Amir Pnueli  (joint with FORTE 2005)
Wolfgang Thomas

STEERING COMMITTEE
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)

GENERAL CHAIR
Insup Lee  (University of Pennsylvania, USA)

PROGRAM CO-CHAIRS
Doron A. Peled  (University of Warwick, UK)
Yih-Kuen Tsay  (National Taiwan University, Taiwan)

LOCAL ARRANGEMENT CO-CHAIRS
Chung-Yang Huang  (National Taiwan University, Taiwan)
Bow-Yaw Wang  (Academia Sinica, Taiwan)

PROGRAM COMMITTEE
Parosh A. Abdulla  (Uppsala University, Sweden)
Rajeev Alur  (University of Pennsylvania, USA)
Christel Baier  (University of Bonn, Germany)
Tevfik Bultan  (University of California, Santa Barbara, USA)
Yung-Pin Cheng  (National Taiwan Normal University, Taiwan)
Ching-Tsun Chou  (Intel, USA)
Jin Song Dong  (National University of Singapore, Singapore)
Sussane Graf  (VERIMAG, France)
Teruo Higashino  (Osaka University, Japan)
Pei-Hsin Ho  (Synopsys, USA)
Gerard J. Holzmann  (NASA/JPL, USA)
Pao-Ann Hsiung  (National Chung Cheng University, Taiwan)
Chung-Yang Huang  (National Taiwan University, Taiwan)
Oscar H. Ibarra  (University of California, Santa Barbara, USA)
Bengt Jonsson  (Uppsala University, Sweden)
Orna Kupferman  (Hebrew University, Israel)
Robert P. Kurshan  (Cadence, USA)
Shaoying Liu  (Hosei University, Japan)
Doron A. Peled  (University of Warwick, UK, co-chair)
Scott Smolka  (SUNY, Stony Brook, USA)
Yih-Kuen Tsay  (National Taiwan University, Taiwan, co-chair)
Moshe Y. Vardi  (Rice University, USA)
Bow-Yaw Wang  (Academia Sinica, Taiwan)
Hsu-Chun Yen  (National Taiwan University, Taiwan)
Tomohiro Yoneda  (Tokyo Institute of Technology, Japan)
Lenore Zuck  (University of Chicago, USA)

SCOPE
The main theme of the symposium encompasses design, complexities, tools,
and applications of automated methods for verification and analysis.
Specific topics of interest include, but are not limited to, the
following:
. algorithmic (including model-checking) methods,
. deductive (including theorem-proving) methods,
. combined methods,
. abstraction and reduction techniques,
. compositional/modular and game-theoretical approaches,
. decidability and complexity,
. optimization and performance analysis,
. infinite-state and parameterized systems,
. real-time, embedded, and hybrid systems,
. hardware/software synthesis and verification,
. network and security protocols analysis,
. established formalisms---Petri-nets, process algebras, temporal logics,
  etc.,
. industrial standards---VHDL, Verilog, UML, etc.
. tool supports, and
. case studies.

PUBLICATION
Following ATVA 2004 (LNCS 3299), we shall seek to publish the proceedings
in the Springer LNCS series.  We shall also look for the possibility of a
special issue in an established journal for selected papers.
The proceedings of ATVA 2004 were published as Volume 3299 of LNCS.
A special issue of IJFCS (International Journal of Foundations of Computer
Science) consisting of invited papers and selected contributed papers from
ATVA 2003 and ATVA 2004 is currently being organized.
See http://www.cs.ucsb.edu/~ijfcs.