ATVA 2011: submission deadline extension to May 6 and May 9.

%%>> Due to numerous requests, the submission deadline of ATVA 2011 has been
extended.                                             
%%>> We apologize if you have received multiple copies of this announcement.

*********************************
**  ATVA 2011 Call for Papers  **
*********************************

9th International Symposium on 
Automated Technology for Verification and Analysis
Taipei, Taiwan, October 11-14, 2011

>> Collocated with ESWEEK 2011. << 

http://www2.ee.ntu.edu.tw/~atva2011/

The purpose of ATVA is to promote research on theoretical and practical
aspects of automated analysis, verification and synthesis by providing
an international forum for interaction among the researchers in academia
and industry.  The previous eight events were held respectively in Taiwan
(2003-5), Beijing (2006), Tokyo (2007), Seoul (2008), Macao (2009), and
Singapore (2010).  ATVA 2011 will be held in Taipei, Taiwan on October
11-14, 2011 and will feature keynote talks and tutorials by the following
highly regarded scholars:

. Hardware track: Edmund M. Clarke (Carnegie-Mellon Univ.)
. Software track: Daniel Kroening (Oxford University)
. Theory track:   Orna Kupferman (Hebrew University) 

================
IMPORTANT DATES: 
---------------
. Abstract submission:          11:59pm 6 May 2011 (AOE time)
. Paper submission:             11:59pm 9 May 2011 (AOE time) 
. Notification of acceptance:   17 June 2011 
. Final copy for proceedings:   8 July 2011 
. Tutorials:                    11 October 2011 
. Conference:                   11-14 October 2011 

==================
SCOPE OF INTEREST: 
-----------------

ATVA 2011 solicits high-quality submissions in the area of automated
verification and analysis.  The topics of interest include, but are not
limited to:

. Specification and verification techniques for finite and infinite-state
systems
. Algorithms and tools for verifying models and implementations
. Program analysis and software verification
. Hardware verification techniques
. Analytical techniques and verification for real-time, hybrid, or
stochastic systems
. Deductive, compositional, and abstraction techniques for modeling and
validation
. Analytical techniques for safety, security, and dependability
. Testing and runtime analysis based on formal verification technology
. Verification methods for parallel and concurrent hardware/software systems
. Verification in industrial practice
. Applications and case studies

==================
PAPER SUBMISSIONS: 
-----------------

ATVA invites research contributions in two categories: Regular research
papers (with 15 pages page limit) and tool papers (with 4 pages page limit).
Contributions must be written in English and in LNCS format, and must
present original research which is unpublished and not submitted elsewhere
(conferences or journals). The proceedings of ATVA 2011 is expected to
be published by Springer as a volume in the series of Lecture Notes in
Computer Science (LNCS). A special journal issue is also being planned
for selected papers.

=============
ORGANIZATION: 
------------

General Chair: 
  Professor Hsu-Chun Yen (National Taiwan Univ., [email protected]) 
 
Program co-chairs: 
  Professor Tevfik Bultan (Univ. of California, Santa Barbara,
[email protected])
  Professor Pao-Ann Hsiung (National Chung Cheng Univ., [email protected])

Local arrangement chair: 
  Professor Farn Wang (National Taiwan Univ., [email protected])

Program committee:
  Parosh Abdulla (Uppsala Univ., Sweden) 
  Samik Basu (Iowa State Univ., USA) 
  Bernard Boigelot (Univ. de Liege, Belgium)
  Ahmed Bouajjani (Liafa, France) 
  Tevfik Bultan (Co-chair)(Univ. of California, Santa Barbara, USA)

  Swarat Chaudhuri (Pennsylvania State Univ., USA) 
  Alessandro Cimatti (FBK-IRST, Italy) 
  E. Allen Emerson (Univ. of Texas at Austin, USA)
  Xiang Fu (Hofstra Univ., USA) 
  Masahiro Fujita (Univ. of Tokyo, Japan) 

  Patrice Godefroid (Microsoft Research, USA) 
  Susanne Graf (Verimag Laboratary, France) 
  Holger Hermanns (Saarland Univ., Germany) 
  Pao-Ann Hsiung (Co-chair)(National Chung Cheng Univ., Taiwan) 
  Franjo Ivancic (NEC Labs, USA) 

  Jie-Hong Roland Jiang (National Taiwan Univ., Taiwan) 
  Sarfraz Khurshid (Univ. of Texas at Austin, USA) 
  Daniel Kroening (Oxford Univ., UK)   
  Orna Kupferman (Hebrew Univ, Israel) 
  Insup Lee (Univ. of Pennsylvania, USA) 

  Jerome Leroux (CNRS, France) 
  Rupak Majumdar (Max Planck Institute, Germany & UCLA, USA) 
  Darko Marinov (Univ. of Illinois at Urbana-Champaign, USA) 
  Kedar Namjoshi (Bell Labs, USA) 
  Madhu Parthasarathy (Univ. of Illinous at Urbana-Champaign, USA)

  Corina Pasareanu (NASA Ames, USA) 
  Doron Peled (Bar Ilan Univ., Israel) 
  Abhik Roychoudhury (National Univ. of Singapore, Singapore) 
  Andrey Rybalchenko (Technische Universitat Munchen, Germany) 
  Sven Schewe (Liverpool Univ., UK)

  Prasad Sistla (Univ. of Illinois at Chicago, USA) 
  Yih-Kuen Tsay (National Taiwan Univ., Taiwan) 
  Tomas Vojnar (Brno Univ. of Technology, Czech Republic) 
  Bow-Yaw Wang (Academia Sinica, Taiwan) 
  Chao Wang (NEC Labs, USA) 

  Farn Wang (National Taiwan Univ., Taiwan) 
  Hsu-Chun Yen (National Taiwan Univ., Taiwan) 
  Fang Yu (National Chengchi Univ., Taiwan) 
  Wenhui Zhang (Chinese Academy of Science, China)  

Steering Committee: 
  Professor E. Allen Emerson (University of Texas at Austin) 
  Professor Insup Lee (University of Pennsylvania) 
  Professor Doron A. Peled (Bar Ilan Universioty) 
  Professor Teruo Higashino (Osaka University) 
  Professor Farn Wang (National Taiwan University) 
  Professor Hsu-Chun Yen (National Taiwan University)