Difference between revisions of "Event:ATVA 2018"

From ConfIDent
(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
|Homepage=http://atva-conference.org/
+
|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
2018-06-27
2018-05-11
2018-07-27
2018-05-11
11
May
2018
Submission
11
May
2018
Paper
27
Jun
2018
Notification
27
Jul
2018
Camera-Ready
Metrics
Submitted Papers
82
Accepted Papers
27
Venue

Los Angeles, California, United States of America

Loading map...
Cookies help us deliver our services. By using our services, you agree to our use of cookies.