会议信息

HVC 2016: Haifa Verification Conference

请登录查看会议网址
免费注册：查看官网链接、跟踪截稿日期，并接收邮件提醒。
登录 注册
嵌入截止倒计时徽章
HVC
截稿日期:
2016-07-14
通知日期:
2016-09-05
会议日期:
2016-11-14
会议地点:
Haifa, Israel
届数:
15
QUALIS: B4   浏览: 22093   关注: 0   参加: 0

征稿

HVC 2016 (Haifa Verification Conference) is a QUALIS B4 conference held in Haifa, Israel on 2016-11-14. The paper submission deadline is 2016-07-14. Acceptance notifications are sent on 2016-09-05.

HVC 2016 invites the submission of technical papers reporting original research and experience results in all sub-fields of testing and verification applicable to software and hardware. The conference will involve the presentation of peer-reviewed, original technical papers, as well as lectures by guests from industry and academia. The conference proceedings will be published in Springer's Lecture Notes in Computer Science series (LNCS), and handed out in digital format to registered guests of the conference. Topics of interest to the conference include, but are not limited to: Simulation-based verification Formal and semi-formal specification, modeling, and verification Functional and non-functional software testing Software and hardware equivalence checking SAT/SMT-based verification algorithms Static analysis Model checking High-level stimuli generation Hardware/software co-verification Triage and debug technologies Post-silicon validation including emulation and acceleration Coverage analysis and test minimization Testing of mobile and cloud applications Software artifacts review and inspection Test planning Empirical studies on hardware and software quality Security verification Machine learning techniques for verification Student grants We anticipate a number of student grants to cover part of the travel expenses for full-time students who are authors of accepted papers. Precedence in allocation of these travel grants will be to students who are also presenting a poster at the conference.
由 Xin Yao 最后更新于

相关会议

CCFICORE简称全称截稿日期通知日期会议日期
AA*SIGIRInternational Conference on Research and Development in Information Retrieval2026-01-152026-04-022026-07-20
AA*AAAIAAAI Conference on Artificial Intelligence2026-07-212026-11-302027-02-16
AA*CVPRIEEE Conference on Computer Vision and Pattern Recognition2025-11-062026-02-202026-06-03
BA*ICRAInternational Conference on Robotics and Automation2027-05-24
BA*IJCAIInternational Joint Conference on Artificial Intelligence2026-01-312026-08-15
AA*STOCACM Symposium on Theory of Computing2025-11-042026-02-012026-06-22
CICCInternational Conference on Communications2026-10-022027-01-152027-05-30
CBIJCNNInternational Joint Conference on Neural Networks2027-01-312027-03-152027-06-14
BICASSPInternational Conference on Acoustics, Speech and Signal Processing2026-09-162027-01-132027-05-16
BA*PODSACM SIGMOD Conference on Principles of DB Systems2026-12-032027-03-012027-06-13

相关期刊

CCF全称影响因子出版商ISSN
Software Testing Verification and Reliability1.2Wiley0960-0833
AIEEE Transactions on Multimedia9.7IEEE1520-9210
CKnowledge-Based Systems7.2Elsevier0950-7051
BSoftware & Systems Modeling3.2Springer1619-1366
AIEEE Transactions on Computers3.8IEEE0018-9340
CFuture Generation Computer Systems6.1Elsevier0167-739X
CNeurocomputing6.5Elsevier0925-2312
CPattern Recognition Letters3.9Elsevier0167-8655
BPattern Recognition7.6Elsevier0031-3203
IEEE Access3.6IEEE2169-3536

评论 0

暂无评论。

请登录后发表评论