[isabelle] ATVA 2006: CFP, Announcement of Keynote Speakers & Special Issues

[Apologies for multiple copies of this message]




ATVA 2006 --

Fourth International Symposium on

Automated Technology for Verification and Analysis

Beijing, China, 23-26 October 2006




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. Submissions reporting original contributions are solicited in all

areas of automated verification and analysis.



20 May 2006, submission deadline

10 July 2006, acceptance notification

1  August 2006, camera-ready copy

23 October - 26 October 2006, ATVA 2006



Thomas Ball (Microsoft Research, US)

Jin Yang (Intel Corporation, US)

Mihalis Yannakakis (Columbia University. US)



E.A. 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)



Huimin Lin (Chinese Academy of Sciences)



Susanne Graf (VERIMAG)

Wenhui Zhang (Chinese Academy of Sciences)



Naijun Zhan (Chinese Academy of Sciences)



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)

Hsu-Chun Yen                (National Taiwan University)

Tomohiro Yoneda                     (Tokyo Institute of Technology)

Wenhui Zhang                (Chinese Academy of Sciences)

Lenore Zuck                    (University of Illinois at Chicago)



The scope of interest is intentionally kept broad; it includes:

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

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



Three tutorials on software verification,

hardware verification and the theory of verification

will be given by the three keynote speakers

T. Ball, J. Yang and M. Yannakakis, respectively.



Following ATVA 2004 (LNCS 3299) and ATVA 2005 (LNCS 3707),

the formal proceedings is planned to be published in LNCS, Springer-Verlag.

Extended versions of selected papers on theoretical foundation and

technology-transfer 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) and of

the International Journal on Software Tools for Technology Transfer (STTT)


This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.