posted by user: jyotirmoy || 1020 views || tracked by 2 users: [display]

HVC 2009 : Haiva Verification Conference

FacebookTwitterLinkedInGoogle


Conference Series : Haifa Verification Conference
 
Link: http://www.haifa.ibm.com/conferences/hvc2009/cfp.shtml
 
When Oct 19, 2009 - Oct 22, 2009
Where Haiva
Submission Deadline Jul 5, 2009
Notification Due Aug 28, 2009
Final Version Due Nov 20, 2009
 

Call For Papers

Call for Papers

HVC 2009 is the fifth in a series of annual conferences dedicated to advancing the verification and testing of both hardware and software. The conference provides a forum for academia, industry, and the research and development community to share their work, exchange ideas, and discuss the challenges and future directions of verification for hardware, software, and hybrid systems.

Verification methods are generally divided into two paradigms – formal verification and dynamic verification (testing). Within each paradigm, different algorithms and techniques are used for hardware and software systems. Yet, at their core, all of these techniques aim to achieve the same goal of ensuring the correct functionality of a complicated system. HVC is the only conference that brings together researchers from all four fields, thereby encouraging the migration of methods and ideas between domains. We encourage submission of works that exemplify the successful integration of ideas from these different domains of expertise.

As in previous years, the post-conference proceedings will be published in Springer’s Lecture Notes in Computer Science series (LNCS). In addition, the top 10%-20% papers accepted to HVC'09 will be invited to submit journal versions of their work to a special edited issue of STTT (http://sttt.cs.uni-dortmund.de/).

Topics of interest to the conference include, but are not limited to:

* Simulation-based verification
* Formal verification methods
* High-level stimuli generation
* Model checking
* Equivalence checking
* SAT-based verification algorithms
* Classification of hardware bugs
* Static analysis
* Design for verifiability
* Concurrency testing
* Hardware/software co-verification
* Debugging
* Emulation and acceleration
* Defect prevention
* CSP-based functional verification
* Test-driven development
* Hybrid verification methods
* Model-based testing
* Verification coverage
* Developer testing
* Formal specification Languages
* Review and inspection
* Semi-formal verification
* Pair testing and first testing
* Test automation frameworks
* Automatic test generation


Venue

The lovely city of Haifa resides on a mountain overlooking the Mediterranean Sea, and is home to Jews, Muslims, and Christians. Haifa is also the world center of the Baha’i faith, and the wondrous Baha’i gardens are a must-see attraction. The conference will be held in the modern building of the IBM R&D Labs, situated at the top of the mountain.
Paper submission:

All submitted papers should be in LNCS format. For details, see: http://www.springer.com/east/home/computer/lncs

There are two categories of submissions:

1. Regular papers:
Regular paper submissions should describe original and unpublished work. Simultaneous submission to other conferences with proceedings or submission of previously published material is strictly forbidden. Regular papers should not exceed fifteen (15) pages in LNCS format. Submissions are accepted in electronic form (pdf or postscript), via the conference website: http://www.haifa.ibm.com/conferences/hvc2009/
2. Tool papers:
Tool submissions should describe a new tool and its features, and demonstrate its effectiveness using experimentation. Tool papers are required to show significant advancements compared with existing tools. Tool papers should not exceed five (5) pages in LNCS format. Tool presentations are expected to include a short demo.

Tentative dates Submission deadline: July 5, 2009
Author notification: August 28, 2009
Conference gathering: October 19-22, 2009
Final Version: November 20, 2009

General chair:
Avi Ziv

Program co-chair:
Kedar Namjoshi
Andreas Zeller

Local organization:
Vered Aharon

Organizing committee:
Sharon Barner, IBM HRL
Eyal Bin, IBM HRL
Hana Chokler, IBM HRL
Moshe Levinger, IBM HRL
Shmuel Ur, IBM HRL

Program committee:
TBD

Related Resources

HVC 2017   Haifa Verification Conference
ICST 2018   The 11th IEEE International Conference on Software Testing, Verification, and Validation (ICST 2018)
VVIoT 2018   International Workshop on Verification and Validation of Internet of Things
CONCUR 2018   29th International Conference on Concurrency Theory
NETYS 2018   The 6th International Conference on Networked Systems
ITEQS 2018   2nd International Workshop on Testing Extra-Functional Properties and Quality Characteristics of Software Systems
WTSC18@FC 2018   2nd Workshop on Trusted Smart Contracts 2018 (WTSC18@FC)
HLDVT 2017   19th IEEE International High-Level Design Validation and Test Workshop 2017
PriSC 2018   2nd Workshop on Principles of Secure Compilation
IEICE Trans D Form Appr 2018   Special Section on Formal Approaches at IEICE Transactions on Information and Systems