View source for ATVA 2020

{{Event
|Acronym=ATVA 2020
|Title=18th International Symposium on Automated Technology for Verification and Analysis
|Series=ATVA
|Type=Conference
|Start date=2020/10/19
|End date=2020/10/23
|Submission deadline=2020/05/03
|Homepage=http://fit.uet.vnu.edu.vn/atva2020/
|City=Hanoi
|Country=Vietnam
|Paper deadline=2020/05/03
|Notification=2020/06/05
|Camera ready=2020/07/05
|Submitting link=EasyChair
|has general chair=Pham Bao Son
|has program chair=Dang Van Hung, Oleg Sokolsky
|Has PC member=Dang Van Hung, Oleg Sokolsky, Mohamed Faouzi Atig, Ondrej Lengal, Christel Baier, Orna Kupferman
}}
Acronym	ATVA 2020 +
Camera ready due	July 5, 2020 +
End date	October 23, 2020 +
Event in series	ATVA +
Event type	Conference +
Has PC member	Dang Van Hung +, Oleg Sokolsky +, Mohamed Faouzi Atig +, Ondrej Lengal +, Christel Baier + and Orna Kupferman +
Has Submitting link	http://EasyChair +
Has coordinates	21° 1' 46", 105° 51' 16"Latitude: 21.02945 Longitude: 105.85444444444 +
Has general chair	Pham Bao Son +
Has location city	Hanoi +
Has location country	Category:Vietnam +
Has program chair	Dang Van Hung + and Oleg Sokolsky +
Homepage	http://fit.uet.vnu.edu.vn/atva2020/ +
IsA	Event +
Notification	June 5, 2020 +
Paper deadline	May 3, 2020 +
Start date	October 19, 2020 +
Submission deadline	May 3, 2020 +
Title	18th International Symposium on Automated Technology for Verification and Analysis +