Difference between revisions of "CAV 2021"
Jump to navigation
Jump to search
(Created page with "{{Event |Acronym=CAV 2021 |Title=International Conference on Computer-Aided Verification |Ordinal=33 |Series=CAV |Type=Conference |Start date=2021/07/18 |End date=2021/07/21 |...") |
|||
| Line 10: | Line 10: | ||
|Homepage=http://i-cav.org/2021/ | |Homepage=http://i-cav.org/2021/ | ||
|Country=Online | |Country=Online | ||
| + | |presence=online | ||
|Paper deadline=2021/01/28 | |Paper deadline=2021/01/28 | ||
|Notification=2021/04/19 | |Notification=2021/04/19 | ||
| − | + | |Submitting link=https://easychair.org/conferences/?conf=cav2021 | |
}} | }} | ||
Revision as of 13:29, 14 May 2021
| CAV 2021 | |
|---|---|
International Conference on Computer-Aided Verification
| |
| Ordinal | 33 |
| Event in series | CAV |
| Dates | 2021/07/18 (iCal) - 2021/07/21 |
| Presence | online |
| Homepage: | http://i-cav.org/2021/ |
| Submitting link: | https://easychair.org/conferences/?conf=cav2021 |
| Location | |
| Location: | , Online |
| Important dates | |
| Papers: | 2021/01/28 |
| Submissions: | 2021/01/28 |
| Notification: | 2021/04/19 |
| Table of Contents | |