Automated Technology for Verification and Analysis

INTRODUCTION:

ATVA 2006 is the fourth 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 on the campus of National Taiwan University.

SCOPE OF INTEREST:

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 (timed) 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.

KEYNOTE SPEAKERS:

Thomas Ball (Microsoft Research, US)

Jin Yang (Intel Corporation, US)

Mihalis Yannakakis (Columbia University. US)

PAPER SUBMISSION:

Submission are limited to 15 pages with maximally 5000 words. Submissions must be written in English. The formal proceedings is to be published in LNCS, Springer-Verlag, therefore adherence to Springer Format in submission is preferred. An accepted paper without a registered author to ATVA 2006 by the deadline of camera-ready copy will not be included in the formal proceedings. Web-based submission is available at http://sttt.cs.uni-dortmund.de/atva06/servlet/Conference.

IMPORTANT DATES (DEADLINE EXTENDED):

27 May 2006, submission deadline for abstracts (NEW)

3 June 2006, submission deadline for papers (NEW)

10 July 2006, acceptance notification

1 August 2006, camera-ready copy

23 October - 26 October 2006, ATVA 2006

STEERING COMMITTEE:

E. Allen Emerson (University of Texas at Austin)

Oscar H. Ibarra (University of California at Santa Barbara)

Insup Lee (University of Pennsylvania)

Doron A. Peled (University of Warwick)

Farn Wang (National Taiwan University)

Hsu-Chun Yen (National Taiwan University)

GENERAL CHAIR:

Huimin Lin (Chinese Academy of Sciences)

PROGRAM CO-CHAIRS:

Susanne Graf (VERIMAG)

Wenhui Zhang (Chinese Academy of Sciences)

PROGRAM COMMITTEE:

Rajeev Alur (University of Pennsylvania)

Christel Baier (University of Bonn)

Jonathan Billington (University of South Australia)

Sung-Deok Cha (Korea Advanced Inst. of Sci. and Techn.)

Shing-Chi Cheung (Hong Kong Univ. of Sci. and Techn.)

Ching-Tsun Chou (Intel)

Jin Song Dong (National University of Singapore)

E. Allen Emerson (University of Texas at Austin)

Masahiro Fujita (University of Tokyo)

Susanne Graf (VERIMAG)

Wolfgang Grieskamp (Microsoft research)

Teruo Higashino (Osaka University)

Pei-Hsin Ho (Synopsys)

Oscar H. Ibarra (University of California at Santa Barbara)

Orna Kupferman (Hebrew University)

Robert P. Kurshan (Cadence)

Insup Lee (University of Pennsylvania)

Xuandong Li (Nanjing University)

Shaoying Liu (Hosei University)

Zhiming Liu (IIST/United Nations University)

Mila E. Majster-Cederbaum (University of Mannheim)

Olaf Owe (University of Oslo)

Doron A. Peled (University of Warwick)

Zhong Shao (Yale University)

Xiaoyu Song (Portland State University)

Yih-Kuen Tsay (National Taiwan University)

Irek Ulidowski (Leicester University)

Bow-Yaw Wang (Academia Sinica)

Farn Wang (National Taiwan University)

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

Yi Wang (Uppsala University)

Baowen Xu (Southeast University of China)