Difference between revisions of "Event:ATVA 2018"

From ConfIDent
m (Text replacement - "[^=]User:Curator 83" to "Ch")
m (Text replacement - "Homepage=" to "Official Website=")
 
(6 intermediate revisions by the same user not shown)
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
|Submission deadline=2018/05/11
+
|Official Website=http://atva-conference.org/
|Homepage=http://atva-conference.org/
 
 
|City=Los Angeles
 
|City=Los Angeles
|State=California
+
|Region=California
|Country=USA
+
|Country=Country:US
|Paper deadline=2018/05/11
+
|Submission Link=Eas Chair
|Notification=2018/06/27
+
|has program chair=Shuvendu Lahiri, Chao Wang
|Camera ready=2018/07/27
 
|Submitting link=EasChair
 
|has program chair=Shuvendu Lahiri,Chao Wang
 
 
|Has PC member=Aws Albarghouthi, Cyrille Artho, Gogul Balakrishnan, Roderick Bloem, Tevfik Bultan, Pavol Cerny
 
|Has PC member=Aws Albarghouthi, Cyrille Artho, Gogul Balakrishnan, Roderick Bloem, Tevfik Bultan, Pavol Cerny
|Submitted papers=82
 
|Accepted papers=27
 
 
|has Proceedings DOI=https://doi.org/10.1007/978-3-030-01090-4
 
|has Proceedings DOI=https://doi.org/10.1007/978-3-030-01090-4
 
|pageCreator=User:Curator 73
 
|pageCreator=User:Curator 73
Line 24: Line 18:
 
|Start Date=2018/10/07
 
|Start Date=2018/10/07
 
|End Date=2018/10/10
 
|End Date=2018/10/10
 +
|Event Status=as scheduled
 +
|Event Mode=on site
 
}}
 
}}
 +
{{Event Deadline
 +
|Paper Deadline=2018/05/11
 +
|Notification Deadline=2018/06/27
 +
|Camera-Ready Deadline=2018/07/27
 +
|Submission Deadline=2018/05/11
 +
}}
 +
{{Event Metric
 +
|Number Of Submitted Papers=82
 +
|Number Of Accepted Papers=27
 +
}}
 +
{{S Event}}

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.