Difference between revisions of "ATVA 2020"

From Openresearch
Jump to: navigation, search
(CSV import conf 2020)
 
 
Line 1: Line 1:
 
{{Event
 
{{Event
 
|Acronym=ATVA 2020
 
|Acronym=ATVA 2020
 +
|Title=18th International Symposium on Automated Technology for Verification and Analysis
 
|Series=ATVA
 
|Series=ATVA
|Title=International Symposium on Automated Technology for Verification and Analysis
+
|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
 
|City=Hanoi
 
|Country=Vietnam
 
|Country=Vietnam
|End date=10/23/2020
+
|Paper deadline=2020/05/03
|Start date=10/19/2020
+
|Notification=2020/06/05
|Homepage=http://fit.uet.vnu.edu.vn/atva2020/
+
|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
 
}}
 
}}

Latest revision as of 07:35, 20 March 2020

ATVA 2020
18th International Symposium on Automated Technology for Verification and Analysis
Event in series ATVA
Dates 2020/10/19 (iCal) - 2020/10/23
Homepage: http://fit.uet.vnu.edu.vn/atva2020/
Submitting link: EasyChair
Location
Location: Hanoi, Vietnam
Loading map...

Important dates
Papers: 2020/05/03
Submissions: 2020/05/03
Notification: 2020/06/05
Camera ready due: 2020/07/05
Committees
General chairs: Pham Bao Son
PC chairs: Dang Van Hung, Oleg Sokolsky
PC members: Dang Van Hung, Oleg Sokolsky, Mohamed Faouzi Atig, Ondrej Lengal, Christel Baier, Orna Kupferman
Table of Contents