Early registration deadline : September 30, 2004

     1. ATVA 2004 REGISTRATION FORM IS READY

     2. ATVA 2004 deadline extended to 31 May 2004

     3.ATVA 2004 proceedings will be in LNCS, Springer-Verlag.

     4.Three keynote speakers announced.

     a. Dr. Bob Kurshan (Cadence)

     b. Prof. Rajeev Alur (U. Penn)

     c. Dr. Pei-Hsin Ho (Synopsys, Inc.)

     5.Web-based submission is now available.

REMIND : registration is needed for every accepted paper.

Encouraged by the success of the first ATVA in December 2003 and the promise of related research and industry in East Asia, we are very happy to announce the second ATVA.  The emphasis of ATVA 2004 will continue to be on various mechanical and informative techniques, which can give engineers valuable feedbacks to quickly converge their designs according to the specifications.  ATVA 2004 will be a back-to-back occurrence with APLAS 2004 (Asian Symposium on Programming Languages and Systems, 4-6 November 2004) in Taipei. 

SCOPE OF INTEREST

The scope of interest includes the following research areas: parametric analysis (parameter synthesis), automated synthesis, optimization, performance analysis, automated tool supports, model-checking theory, theorem-proving theory, state-space reduction techniques, languages in automated verification, real-time systems, embedded systems, infinite-state systems, Petri-nets, UML, synthesis, practice in industry, decidability and complexity issues, case studies.  Special emphasis will be on the algorithms, complexities, tools, and experiments of automated verification and analysis. 

SPECIAL TRACKS

ATVA 2004 will also have three special tracks with independent paper reviewing processes.The three tracks are (1) Design of Secure/High-reliable Networks, (2) HW/SW Coverification and Cosynthesis, and (3) Hardware Verification. 

KEYNOTE SPEAKERS

     Dr. Bob Kurshan (Cadence)

     Prof. Rajeev Alur (U. Penn)

    Dr. Pei-Hsin Ho (Synopsys, Inc.)

PAPER SUBMISSION

Each submission is limited to 15 pages with no more than 5000 words. Submissions must be written in English.  The formal proceedings will be available at ATVA 2004 as a volume in LNCS, Springer-Verlag.  An accepted paper without a registered author to ATVA 2004 by the deadline of camera-ready copy will not be included in the formal proceedings.  Web-based submission is available at http://cc.ee.ntu.edu.tw/~atva04.  Extended versions of selected papers from the conference series will be solicited for publication in special issues of the International Journal of Foundations of Computer Science (IJFCS) (http://www.cs.ucsb.edu/~ijfcs).

IMPORTANT DATES

31 May 2004, submission deadline

31 July 2004, acceptance notification

20 August 2004, camera-ready copy

30 September 2004, early registration deadline

31 October-3 November 2004, ATVA 2004