ATVA 2008 is the sixth 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. The first three ATVA symposia
were held in 2003, 2004 and 2005 in Taipei. ATVA 2006 and 2007 were
held in Beijing and Tokyo.
The proceedings of ATVA 2008 will be published by Springer as a volume in the LNCS(Lecture Notes in Computer Science). Submissions reporting original contributions are solicited in all areas of automated verification and analysis.
SCOPE OF INTEREST
The scope of interest is intentionally kept broad; it includes
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 accessiblenot only to specialists, that is, jargon need to be defined and intuitive interpretation provided for theories.
- 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.
- 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 track: Dr.Natarajan Shankar (SRI)
- Software track: Dr.Sriram K Rajamani (Microsoft India)
- Application track: Prof. David L. Dill (Stanford)
- Paper submission (extended): May 12 (Monday)
- Acceptance notification (postponed) : July 7 (Monday)
- Camera-ready version due: July 28 (Monday)
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. Simultaneous submissions to
other conferences are not allowed.
From 2008, ATVA accepts two types of contributions: RESEARCH PAPERS and TOOL
DEMONSTRATION PAPERS. Both types of contributions will appear in the
proceedings and have oral presentations during the conference.
Research papers should contain original research, and sufficient detail to
assess the merits and relevance of the contribution. Submissions reporting on
industrial case studies are welcome, and should describe detailed weaknesses
and strength in sufficient depth. Submitted research papers should be no more
than 15 pages long.
Tool demonstration papers:
Tool demonstration papers present tools based on aforementioned technologies or
fall into the above application areas. Tool demonstration papers allow
researchers to stress the technical and practical side, illustrating how one
can apply the theoretic contributions in practice. Submitted tool
demonstration papers should be no more than 6 pages long.