HVC 2008 Call for papers: HVC 2008 is the fourth 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 techniques are used for hardware and software systems. HVC is the only conference that brings together researchers from all verification fields, thereby encouraging the migration of methods and ideas between domains. We encourage submission of works that exemplify the successful integration of ideas from different domains of expertise. Accepted papers will be presented at the conference and published in post-conference proceedings in Springer's Lecture Notes in Computer Science series (LNCS). The top 10%-20% papers will be invited to submit journal versions of their work to a special edited issue of STTT. Topics of interest to the conference include, but are not limited to: Simulation-based verification High-level stimuli generation Equivalence checking Classification of hardware bugs Design for verifiability Hardware/software co-verification Emulation and acceleration CSP applications in functional verification Hybrid verification methods Verification coverage Formal Specification Languages Semi-formal verification Test automation frameworks Formal verification methods Model checking SAT-based verification algorithms Static analysis Concurrency testing Debugging Defect prevention Test-driven development Model-based testing Developer testing Review and inspection Pair testing and first testing Automatic test generation Paper submission: Authors are invited to submit papers describing original, unpublished work. Papers are to be submitted electronically through the conference web page, in LNCS format (http://www.springer.com/east/home/computer/lncs). The page limit is fifteen (15) for regular papers and five (5) for tool papers. Simultaneous submission to other conferences is not allowed. There are two categories of submissions: 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/hvc2008/. An early email to conference chairs Hana Chockler and Alan Hu with your intention to submit a paper would be appreciated. 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. 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. Important dates: Abstracts submission deadline: July 16, 2008 Full papers submission deadline: July 20, 2008 Author notification: August 31, 2008 Conference gathering: October 28-30, 2008 Final version: November 20, 2008