============================================================== We apologize if you receive multiple copies of this CFP. Please distribute to anyone who may be interested. ============================================================== Call for Papers ********************************************************* Third Haifa Verification Conference 2007 http://www.haifa.il.ibm.com/Workshops/verification2007/ Haifa, Israel, October 23-25, 2007 Sponsored by IBM Haifa Research Lab and Caesarea Rothschild Institute at the University of Haifa ********************************************************* HVC 2007 is the third annual conference 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 generally divide 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. To this end, we are announcing a special interest in hybrid methods for this year’s conference. We encourage the submission of works that exemplify the successful integration of ideas from 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'07 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 ---------------------------------------------------------------- Keynote presentations: Bob Bentley (Intel Corporation) Aarti Gupta (NEC Labs America) Invited speakers: Alan Hu (Univ. of British Columbia) Robert Kurshan (Cadence) Wolfgang Roesner (IBM Austin) Andreas Zeller (Saarland University) ---------------------------------------------------------------- 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. ---------------------------------------------------------------- Events: * A special session will present a collection of the best published works of the year. These will be selected by a special committee and will present state-of-the-art theoretical advancements that have been achieved during the preceding year. * A “Best Paper Award” will be handed out. * The social events include a banquet and a speed-networking session. More details can be found on the conference website. ---------------------------------------------------------------- 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), via the conference website: http://www.haifa.il.ibm.com/Workshops/verification2007/). An early email to Karen Yorav (yorav@il.ibm.com) with your intention to submit a paper would be appreciated. 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 05, 2007 Author notification: August 15, 2007 Conference gathering: October 23-25, 2007 Final version: November 19, 2007 ---------------------------------------------------------------- Conference chair: Karen Yorav (yorav@il.ibm.com) Local organization: Vered Aharon (vered@il.ibm.com) Organizing committee: Sharon Barner, IBM Haifa Research Lab Laurent Fournier, IBM Haifa Research Lab Shmuel Ur, IBM Haifa Research Lab Avi Ziv, IBM Haifa Research Lab Program committee: Sharon Barner, IBM Haifa Research Lab, Israel Lyes Benalycherif, STMicroelectronics, France Eyal Bin, IBM Haifa Research Lab, Israel Roderick Bloem, Graz University of Technology, Austria Jong-Deok Choi, Samsung Electronics, Korea Alessandro Cimatti, IRST, Italy Kerstin Eder, University of Bristol, UK Bernd Finkbeiner, Universit?t des Saarlandes, Germany Limor Fix, Intel, USA Laurent Fournier, IBM Haifa Research Lab, Israel Orna Grumberg, Technion, Israel Aarti Gupta, NEC Labs America, USA Klaus Havelund, NASA's Jet Propulsion Laboratory, Columbus Tech. Alan Hu, Univ. of British Columbia, Canada Warren Hunt, University of Texas, Austin, USA Daniel Kroening, ETH Zuerich, Switzerland Tsvi Kuflik, University of Haifa, Israel Orna Kupferman, Hebrew University, Israel Mark Last, Ben-Gurion University of the Negev, Israel Joao Lourenco, Universidade Nova de Lisboa, Portugal Sharad Malik, Princeton University, USA Erich Marschner, Cadence, USA Ken McMillan, Cadence, USA Amos Noy, Cadence, USA Viresh Paruthi, IBM Austin, USA Carl Pixley, Synopsys, USA Andrew Piziali, USA Wolfgang Roesner, IBM Austin, USA Padmanabhan (Peter) Santhanam, IBM Hawthorne, USA Fabio Somenzi, University of Colorado, USA Scott D. Stoller, Stony Brook University, USA Ofer Strichman, Technion, Israel Paul Strooper, University of Queensland, Australia Serdar Tasiran, Koc University, Turkey Shmuel Ur, IBM Haifa Research Lab, Israel Willem Visser, SEVEN Networks, USA Tao Xie, North Carolina State University, USA Karen Yorav, IBM Haifa Research Lab, Israel (chair) Avi Ziv, IBM Haifa Research Lab, Israel