Submissions are solicited in the areas of design, complexities, tools, and applications of automated methods for verification and analysis. A submitted paper must contain original contributions, clearly written in English, and include comparison with related work. The authors are advised to prepare their manuscripts using the LNCS style. Each paper should be no more than 15 pages long and be submitted electronically via the conference Web site. Simultaneous submissions to other conferences are not allowed.

The proceedings of ATVA 2005 will be published by Springer as a volume in the Lecture Notes in Computer Science series. A special journal issue is also being planned for selected papers.

Specific topics of interest include, but are not limited to, the following:

• algorithmic (including model-checking) methods,
• deductive (including theorem-proving) methods,
• combined methods,
• abstraction and reduction techniques,
• compositional/modular and game-theoretical approaches,
• decidability and complexity,
• optimization and performance analysis,
• in finite-state and parameterized systems,
• real-time, embedded, and hybrid systems,
• hardware/software synthesis and verification,
• network and security protocols analysis,
• established formalisms---Petri-nets, process algebras, temporal logics, etc.,
• industrial standards---VHDL, Verilog, UML, etc.
• tool supports, and
• case studies.