Difference between revisions of "ATVA 2020"

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... {"minzoom":false,"maxzoom":false,"mappingservice":"leaflet","width":"280px","height":"280px","centre":false,"title":"","label":"","icon":"","visitedicon":"","lines":[],"polygons":[],"circles":[],"rectangles":[],"wmsoverlay":false,"copycoords":false,"static":false,"zoom":false,"defzoom":14,"layers":["OpenStreetMap"],"overlaylayers":[],"resizable":false,"enablefullscreen":false,"scrollwheelzoom":true,"markercluster":false,"clustermaxzoom":20,"clusterzoomonclick":true,"clustermaxradius":80,"clusterspiderfy":true,"geojson":"","locations":[{"text":"\u003Cb\u003E\u003Cdiv class=\"mw-parser-output\"\u003E\u003C/div\u003E\u003C/b\u003E\u003Chr /\u003E\u003Cdiv class=\"mw-parser-output\"\u003E\u003C/div\u003E","title":"","link":"","lat":21.0283334,"lon":105.854041,"icon":""}],"imageoverlays":null}
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

@@ Line 1: / Line 1: @@
 {{Event
 |Acronym=ATVA 2020
+|Title=18th International Symposium on Automated Technology for Verification and Analysis
 |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
 |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
 }}

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 +