[Elsnet-list] ATVA 2006: CFP, Announcement of Keynote Speakers & Special Issues

Farn Wang farn at cc.ee.ntu.edu.tw
Wed Mar 8 10:43:43 CET 2006


[Apologies for multiple copies of this message] 

 

CALL FOR PAPERS 

 

ATVA 2006 --

Fourth International Symposium on 

Automated Technology for Verification and Analysis 

Beijing, China, 23-26 October 2006

http://lcs.ios.ac.cn/~atva06/

===================================================

 

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. 

 

IMPORTANT DATES

20 May 2006, submission deadline

10 July 2006, acceptance notification

1  August 2006, camera-ready copy

23 October - 26 October 2006, ATVA 2006

 

KEYNOTE SPEAKERS

Thomas Ball (Microsoft Research, US)

Jin Yang (Intel Corporation, US)

Mihalis Yannakakis (Columbia University. US)

 

STEERING COMMITTEE 

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) 

 

GENERAL CHAIR 

Huimin Lin (Chinese Academy of Sciences)

 

PROGRAM CO-CHAIRS 

Susanne Graf (VERIMAG)

Wenhui Zhang (Chinese Academy of Sciences)

 

LOCAL ARRANGEMENT CHAIR

Naijun Zhan (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)

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)

 

SCOPE 

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.

 

TUTORIALS

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.

 

PUBLICATION 

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) 

(http://sttt.cs.uni-dortmund.de).

-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://stratus.let.uu.nl/pipermail/elsnet-list/attachments/20060308/d3d5226a/attachment.htm


More information about the Elsnet-list mailing list