ATVA 2018
ATVA 2018 | |
---|---|
16th International Symposium on Automated Technology for Verification and Analysis
| |
Event in series | ATVA |
Dates | 2018/10/07 (iCal) - 2018/10/10 |
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 + |