The Coq mailing list

[Yih-Kuen Tsay <tsay AT venus.im.ntu.edu.tw>]

[Apologies for multiple copies of this message] 
 
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/ ;
 
The proceedings of ATVA 2005 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 2005 Web site for details not found in this CFP. 
 
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) 
Susanne 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 Illinois, 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. 
 
SUBMISSIONS 
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 2005 Web 
site.  Simultaneous submissions to other conferences are not allowed. 
 
PUBLICATION 
The proceedings of ATVA 2005 will be published by Springer as a volume in the 
Lecture Notes in Computer Science series.  A special journal issue is also 
being planned 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. ;