Difference between revisions of "Event:ATVA 2019"

From ConfIDent
(mobo import Concept___Events_With_Metrics-migrated)
m (Text replacement - "Homepage=" to "Official Website=")
 
Line 3: Line 3:
 
|Title=17th International Symposium on Automated Technology for Verification and Analysis
 
|Title=17th International Symposium on Automated Technology for Verification and Analysis
 
|Type=Conference
 
|Type=Conference
|Homepage=http://atva2019.iis.sinica.edu.tw/
+
|Official Website=http://atva2019.iis.sinica.edu.tw/
 
|City=Taipei
 
|City=Taipei
 
|Country=Country:TW
 
|Country=Country:TW

Latest revision as of 12:59, 19 October 2022

Deadlines
2019-06-16
2019-04-26
2019-05-03
2019-07-26
2019-05-03
26
Apr
2019
Abstract
3
May
2019
Paper
3
May
2019
Submission
16
Jun
2019
Notification
26
Jul
2019
Camera-Ready
Metrics
Submitted Papers
65
Accepted Papers
24
Venue

Taipei, Taiwan

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