Call for Papers

*********************************************************
       Fifth Haifa Verification Conference 2009
 http://www.haifa.ibm.com/conferences/hvc2009/
 
           Haifa, Israel, October 19-22, 2009

       Sponsored by IBM Haifa Research Lab

        New Submission Deadline - July 13
*********************************************************
   
HVC 2009 is the fifth in the 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 IBM Haifa 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:

A. 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: 

B. 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. 

----------------------------------------------------------------

Important dates:
                                                                     
Submission deadline:   July 13, 2009
Author notification:   August 28, 2009
Conference gathering:  October 19-22, 2009 
Final version:         November 20, 2009

----------------------------------------------------------------

General chair: Avi Ziv (aziv@il.ibm.com)

Program co-chair: Kedar Namjoshi (kedar@research.bell-labs.com)
                  Andreas Zeller (zeller@cs.uni-saarland.de)

Local organization: Vered Aharon (vered@il.ibm.com)

Organizing committee:

Sharon Barner, IBM HRL 
Eyal Bin, IBM HRL 
Hana Chockler, IBM HRL
Moshe Levinger, IBM HRL
Shmuel Ur, IBM HRL 

Program Committee:
Sharon Barner,IBM HRL,Israel
Eyal Bin,IBM HRL,Israel
Roderick Bloem,TU Graz,Austria
Hana Chockler,IBM HRL,Israel
Myra Cohen,U Nebraska-Lincoln,USA
Christoph Csallner,University of Texas at Arlington,USA
Kerstin Eder,Bristol U,UK
Steven German,IBM Research,USA
Patrice Godefroid,Microsoft,USA
Orna Grumberg,Technion,Israel
Shankar Hemmady,Synopsys,USA
Gerard Holzmann,NASA,USA
Vineet Kahlon,NEC,USA
Orna Kupferman,Hebrew U,Israel
Doron Peled,Bar Ilan U,Israel
Andreas Podelski,U Freiburg,Germany
Gil Shurek,IBM HRL,Israel
Scott Stoller,Stony Brook U,USA
Shmuel Ur,IBM HRL,Israel
Tao Xie,North Carolina State U,USA
Eran Yahav,IBM Research,USA
Karen Yorav,IBM HRL,Israel