(mobo import Concept___Events_With_Metrics-migrated) |
m (Text replacement - "Homepage=" to "Official Website=") |
||
Line 3: | Line 3: | ||
|Title=16th International Symposium on Automated Technology for Verification and Analysis | |Title=16th International Symposium on Automated Technology for Verification and Analysis | ||
|Type=Conference | |Type=Conference | ||
− | | | + | |Official Website=http://atva-conference.org/ |
|City=Los Angeles | |City=Los Angeles | ||
|Region=California | |Region=California |
Latest revision as of 12:59, 19 October 2022
Deadlines
|
||
Submission |
|
||
Paper |
|
||
Notification |
|
||
Camera-Ready |
Metrics
Submitted Papers
82
Accepted Papers
27
Venue
Los Angeles, California, United States of America
Warning: Venue is missing. The map might not show the exact location.