Difference between revisions of "CAV 2021"

From Openresearch
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 14: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