Difference between revisions of "ATVA 2020"
Jump to navigation
Jump to 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 | ||
| − | | | + | |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 | ||
}} | }} | ||
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 |
| 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 | |