Difference between revisions of "ATVA 2018"
(Created page with "{{Event |Acronym=ATVA 2018 |Title=16th International Symposium on Automated Technology for Verification and Analysis |Series=ATVA |Type=Conference |Start date=2018/10/07 |End...") |
m |
||
Line 7: | Line 7: | ||
|End date=2018/10/10 | |End date=2018/10/10 | ||
|Submission deadline=2018/05/11 | |Submission deadline=2018/05/11 | ||
+ | |Homepage=http://atva-conference.org/ | ||
|City=Los Angeles | |City=Los Angeles | ||
|State=California | |State=California |
Latest revision as of 11:53, 22 March 2020
ATVA 2018 | |
---|---|
16th International Symposium on Automated Technology for Verification and Analysis
| |
Event in series | ATVA |
Dates | 2018/10/07 (iCal) - 2018/10/10 |
Homepage: | http://atva-conference.org/ |
Submitting link: | EasyChair |
Location | |
Location: | Los Angeles, California, USA |
Loading map... | |
Important dates | |
Papers: | 2018/05/11 |
Submissions: | 2018/05/11 |
Notification: | 2018/06/27 |
Camera ready due: | 2018/07/27 |
Papers: | Submitted 82 / Accepted 27 (32.9 %) |
Committees | |
PC chairs: | Shuvendu Lahiri, Chao Wang |
PC members: | Aws Albarghouthi, Cyrille Artho, Gogul Balakrishnan, Roderick Bloem, Tevfik Bultan, Pavol Cerny |
Table of Contents | |
关于“ATVA 2018”的事实
Acceptance rate | 32.9 + |
Accepted papers | 27 + |
Acronym | ATVA 2018 + |
Camera ready due | 2018年7月27日 (五) + |
End date | 2018年10月10日 (三) + |
Event in series | ATVA + |
Event type | Conference + |
Has PC member | Aws Albarghouthi +、Cyrille Artho +、Gogul Balakrishnan +、Roderick Bloem +、Tevfik Bultan +和Pavol Cerny + |
Has Submitting link | http://EasyChair + |
Has coordinates | 34° 3' 13", -118° 14' 34"Latitude: 34.053691666667 Longitude: -118.24276666667 + |
Has location city | Los Angeles + |
Has location country | Category:USA + |
Has location state | California + |
Has program chair | Shuvendu Lahiri +和Chao Wang + |
Homepage | http://atva-conference.org/ + |
IsA | Event + |
Notification | 2018年6月27日 (三) + |
Paper deadline | 2018年5月11日 (五) + |
Start date | 2018年10月7日 (日) + |
Submission deadline | 2018年5月11日 (五) + |
Submitted papers | 82 + |
Title | 16th International Symposium on Automated Technology for Verification and Analysis + |