Universiteit van Amsterdam

Events

Institute for Logic, Language and Computation

Please note that this newsitem has been archived, and may contain outdated information or links.

19 - 23 October 2020, ATVA 2020: Automated Technology for Verification & Analysis, Hanoi, Vietnam / Online

Date: 19 - 23 October 2020
Location: Hanoi, Vietnam / Online
Deadline: Sunday 26 April 2020

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).

The conference will take place online in Hanoi in a conference room as scheduled, since Hanoi City is not locked-down. We are encouraging local participants to take part in the conference. We also warmly welcome all the international participants in the case that they are able to travel to the conference site. For those participants and speakers who are not able to come to the conference site, they can attend and deliver their lectures/talks online.

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.

For more information, see http://fit.uet.vnu.edu.vn/atva2020/.

Please note that this newsitem has been archived, and may contain outdated information or links.