[TYPES] ATVA 2005: Announcement and Preliminary Call for Papers

[Yih-Kuen Tsay]

[Apologies for multiple copies of this message] 
 
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.