Conference Information
CAV 2017 : International Conference on Computer Aided Verification
http://cavconference.org/2017/
Submission Date:
2017-01-24
Notification Date:
2017-03-20
Conference Date:
2017-07-22
Location:
Heidelberg, Germany
Years:
29
CCF: a   CORE: a*   QUALIS: a1   Viewed: 6276   Tracked: 5   Attend: 0

Conference Location
Advertisment
Call For Papers
CAV 2017 is the 29th in a series dedicated to the advancement of the theory and practice of computer-aided formal analysis methods for hardware and software systems.  The conference covers the spectrum from theoretical results to concrete applications, with an emphasis on practical verification tools and the algorithms and techniques that are needed for their implementation. CAV considers it vital to continue spurring advances in hardware and software verification while expanding to new domains such as biological systems and computer security. The proceedings of the conference will be published in the Springer-Verlag Lecture Notes in Computer Science series. A selection of papers is expected to be invited to a special issue of Formal Methods in System Design and the Journal of the ACM.
Last updated by Dou Sun in 2016-09-29
Related Publications
Acceptance Ratio
YearSubmittedAcceptedAccepted(%)
20141754626.3%
20132095425.8%
20121403827.1%
20061213528.9%
20051553220.6%
20041443222.2%
20031023231.4%
2002943537.2%
20011063331.1%
2000913538.5%
19991073431.8%
19981173328.2%
1997843440.5%
1996933234.4%
Advertisment
Related Conferences
CCFCOREQUALISShortFull NameSubmissionNotificationConference
baa1DACDesign Automation Conference2016-11-15 2017-06-18
bTrustBusInternational Conference on Trust, Privacy, and Security in Digital Business2016-04-042016-06-062016-09-05
CIAInternational Conference on Computer, Information and Application2016-03-302016-04-152016-05-19
GCBGerman Conference on Bioinformatics2015-06-302015-07-312015-09-27
baa1NDSSAnnual Network & Distributed System Security Symposium2016-08-122016-09-202017-02-26
aaa1USENIX ATCUSENIX Annual Technical Conference2017-02-072017-04-242017-07-12
b4ICCSEInternational Conference on Computer Science & Education2016-05-012016-06-152016-08-23
FITInternational Conference on Frontiers of Information Technology2016-07-312016-09-202016-12-19
aa*a1INFOCOMInternational Conference on Computer Communications2016-07-222016-11-252017-05-01
ICSNInternational Conference on Software Networking2016-01-312016-02-242016-05-23
Recommendation