ATVA 2020: Difference between revisions
CSV import conf 2020 |
No edit summary |
||
| 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 | ||
| | |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 | ||
| | |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 | |||
}} | }} | ||
Latest revision as of 06: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 |
| 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 | |