19 - 23 October 2020, ATVA 2020: Automated Technology for Verification & Analysis, Hanoi, Vietnam
ATVA 2020 is the 18th in the ATVA series of symposia intended to promote research in theoretical and practical aspects of automated analysis, verification and synthesis in Asia by providing a forum for interaction between the regional and international research communities and industry in the field.
Invited speakers: Tobias Nipkow (Munich, Germany), Klaus Havelund (CalTech / NASA JPL) and David Dill (Standford, USA).
ATVA 2020 solicits high-quality submissions on any of the conference topics. ATVA welcomes submissions in the following two categories: Regular research papers (16 pages, including references) and Tool papers (6 pages, including references). Tool papers must include information about a URL from where the tool can be downloaded or accessed on-line for evaluation.