• Conference's photos have been added to Photos Section.

  • Information of ATVA Banquet has been added to Program Section.

  • Information on getting to the conference venue has been added to Venue Section.

  • The ATVA Program is added.

  • Information about the INFINITY 2010 workshop has been added.

  • Deadline of final copy for proceedings has been extended to 30 June, 2010.

  • Due to the request of authors, deadline for abstract and full paper submission has been extended for 3 days.

  • Submission link has been added to Submission Section.

  • We are pleased to announce our keynote speakers for ATVA 2010:

    Thomas A. Henzinger is Professor of Computer and Communication Sciences at EPFL in Lausanne, Switzerland, and Adjunct Professor of Electrical Engineering and Computer Sciences at the University of California, Berkeley. He is an ISI highly cited researcher, a member of Academia Europaea, a member of the German Academy of Sciences (Leopoldina), a corresponding member of the Austrian Academy of Sciences, a Fellow of the ACM, and a Fellow of the IEEE.

    Igor Walukiewicz is a CNRS researcher affiliated with LaBRI (Laboratoire Bordelais de Recherche en Informatique) in Université Bordeaux-1, France. He received his Ph.D. from Warsaw University. He has been a a lecturer at the Warsaw University (1996-2001) and post-doc at BRICS, Aarhus University (1994-1996).

    Joxan Jaffar is a Professor at the School of Computing, National University of Singapore. He is the former Dean of the School of Computing from 2001-2007. Amongst his main contributions are the principles of constraint logic programming, and the widely-used CLP(R) system. He is an Area Editor for the ACM Transactions on Programming Languages and Systems, a former editor of the Journal of Logic Programming, the Constraints Editor for the journal Theory and Practice of Logic Programming (CUP), and an editor for the electronic Journal of Functional and Logic Programming (MIT Press) since 1994. He holds an IBM Outstanding Innovation Award, and an award from the Association of Logic Programming for the most influential paper for 1984-2004.

Aims and Objectives

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 past seven events were held in Taiwan (2003-5), Beijing (2006), Tokyo (2007), Seoul (2008) and Macao (2009). The proceedings of ATVA 2010 will be published by Springer as a volume in the LNCS series.


Scope and Topics

The scope of interest is intentionally kept broad; it includes:

  • Theories useful for providing designers with automated support for obtaining correct software or hardware systems, including both functional and non functional aspects, such as: theory of (timed and hybrid) automata, process calculi, Petri-nets, concurrency theory, compositionality, model-checking, automated theorem proving, synthesis, performance analysis, correctness-by-construction, infinite state systems, abstract interpretation, decidability results, parametric analysis or synthesis.

  • Applications of theory in engineering methods and other particular domains and handling of practical problems occurring in tools, such as analysis and verification tools, synthesis tools, model transformation tools. Techniques of reducing complexity of verification by abstraction, improved representations. Methods and tools in handling user level notations, such as UML. Practice in industrial 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. We are interested both in algorithms and in methods and tools for integrating formal approaches into industrial practice.

You could download Call For Paper in pdf, docx and txt format.


Our Sponsor