[TYPES/announce] Call for Participation: ATVA 2006 - Beijing - Octobre 2006

[Susanne Graf]

                        CALL FOR PARTICIPATION

     *************************************************************
                                ATVA 2006
                    4th International Symposium on
           Automated Technology for Verification and Analysis
                 Beijing, China, October 23-26, 2006
                     http://lcs.ios.ac.cn/~atva06/
     *************************************************************

IMPORTANT: The early registration deadline is August 1.

Keynote Speakers:
	. Mihalis Yannakakis, Columbia University, USA
	. Jin Yang, Intel Corporation, USA
	. Thomas Ball, Microsoft Research, USA

First day: Two-Hour Tutorials by the keynote speakers

35 papers have been selected for presentation at ATVA 2006
The proceedings will be available as Springer LNCS 4218.

A preliminary program is available at the conference web site
                       http://lcs.ios.ac.cn/~atva06/

The scope of ATVA 2006 includes
* Theory for providing designers with automated support
   for obtaining correct software or hardware systems,
   including 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, 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.

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)
   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)

LOCAL ARRANGEMENT CHAIR:

Naijun Zhan (Chinese Academy of Sciences)

-- 
------------------------------------------------------------------------
Susanne Graf          | tel : (+33) (0)4 56 52 03 52
VERIMAG               | fax : (+33) (0)4 56 52 03 44
2, avenue de Vignate  | http://www-verimag.imag.fr/~graf/
F - 38610 Gieres      | e-mail: Susanne.Graf at imag.fr
------------------------------------------------------------------------