ATVA 2020 is the 18th in the ATVA series of symposia intend ed to promote research in theoretical and practica l aspects of automated analysis, verification and synthesis in Asia by providing a forum for interac tion between the regional and international resear ch communities and industry in the field.
\n\nInvited speakers: Tobias Nipkow (Munich, Germa ny), Klaus Havelund (CalTech / NASA JPL) and David Dill (Standford, USA).
\n\nThe conference will take place online in Hanoi in a conference r oom as scheduled, since Hanoi City is not locked-d own. We are encouraging local participants to take part in the conference. We also warmly welcome al l the international participants in the case that they are able to travel to the conference site. Fo r those participants and speakers who are not able to come to the conference site, they can attend a nd deliver their lectures/talks online.
\nATVA 2020 solicits high-quality submi ssions on any of the conference topics. ATVA welco mes submissions in the following two categories: R egular research papers (16 pages, including refere nces) and Tool papers (6 pages, including referenc es). Tool papers must include information about a URL from where the tool can be downloaded or acces sed on-line for evaluation.
\n