![]() |
| |||||||||||||||
HVC 2011 : Haifa Verification Conference 2011Conference Series : Haifa Verification Conference | |||||||||||||||
Link: http://www.research.ibm.com/haifa/conferences/hvc2011 | |||||||||||||||
| |||||||||||||||
Call For Papers | |||||||||||||||
===========================================================
Haifa Verification Conference 2011 (HVC 2011) December 6-8, 2011 Organized by IBM R&D Labs in Israel http://www.research.ibm.com/haifa/conferences/hvc2011 =========================================================== IMPORTANT DATES Submission deadline **EXTENDED**: August 24, 2011 @ 23h59 (Samoa Timezone) Author notification: September 19, 2011 Students event submission deadline: September 22, 2011 Students event notification: October 3, 2011 Conference gathering: December 6-8, 2011 Final Version: January 31, 2012 GOALS & SCOPE OF THE CONFERENCE Research and practice in system verification and testing are roughly divided into two major paradigms: formal verification and dynamic verification (testing). Within each paradigm, algorithms and techniques may differ considerably between hardware-related solutions and software-related solutions. However, the common underlying goal of these techniques, across paradigms and system types, is to ensure the correct functionality and performance of complex systems. HVC is the only conference that brings together researchers and practitioners from all verification and testing sub-fields, thereby encouraging the migration of methods and ideas among domains. HVC 2011 invites the submission of technical papers reporting original research and experience results in all sub-fields of testing and verification applicable to software, hardware, and hybrid systems. Topics of interest include, but are not limited to: * Simulation-based verification * Formal verification methods * High-level stimuli generation * Equivalence checking * SAT-based verification algorithms * Classification of hardware bugs * Static analysis * Design for verifiability * Hardware/software co-verification * Debugging * Emulation and acceleration * Formal modeling and specification * Post-silicon validation * CSP-based functional verification * Formal specification languages * Model checking * Quality assurance * Testing methodologies * Defect prevention * Test-driven development * Hybrid verification methods * Model-based testing * Verification coverage * Developer testing * Review and inspection * Semi-formal verification * Test automation and automated test generation * Coverage analysis and test minimization * Test planning * Testing and analysis of concurrent software * Domain specific testing and analysis * Functional and performance testing EVENTS HVC best paper and best student paper awards: a special session will present and award the best regular and student papers. These will be selected by a special committee. Social events include an excursion, a reception, and an optional weekend in Jerusalem after the conference. 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. PAPER SUBMISSION All submitted papers should be in LNCS format. For details, see: http://www.springer.com/east/home/computer/lncs 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 will be accepted in electronic form (pdf or postscript), via the easychair portal. An early email to conference chairs with your intention to submit a paper would be appreciated. Tools and experience papers: Tools and experience submissions should describe a new tool and its features, or new field experience, and demonstrate effectiveness and applicability. Tools and experience papers are required to show significant advancements compared with existing tools and practices. Papers in this track should not exceed five (6) pages in LNCS format. Tool presentations are expected to include a short demo. STUDENTS EVENT Students who wish to present their work are required to submit a short (up to two PDF pages in LNCS format) extended abstract to easychair using http://www.easychair.org/conferences/?conf=hvc2011. Submissions will be reviewed and evaluated by the program committee. If accepted, the abstract will be included in the Conference Proceedings, and students will be required to prepare a 70 x 100 cm poster and present it in the session. The program committee will issue a number of grants to support students who present their work at the HVC student event. All poster submissions from outside of Israel will be considered for the grant. PROCEEDINGS PUBLICATION As in previous years, HVC 2011 plans to publish its post-proceedings as a Springer's Lecture Notes in Computer Science (LNCS) volume. In addition, HVC 2011 plans to invite the authors of the top 10%-20% accepted papers to submit revised versions of their work to a special issue of a journal. HVC further plans for its papers to become accessible via the Web of Knowledge. IMPORTANT DATES Submission deadline: August 18, 2011 Author notification: September 19, 2011 Conference gathering: December 6-8, 2011 Final Version: January 31, 2012 VENUE The lovely city of Haifa resides on Mount Carmel 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. ORGANIZATION Onn Shehory, IBM Israel (General chair) Kerstin Eder, University of Bristol (Co-Program Chair) Joao Lourenco, New University of Lisbon (Co-Program Chair) PROGRAM COMMITTEE Sharon Barner, IBM Israel Geoff Barrett, Broadcom Armin Biere, FMV Eyal Bin, IBM Israel Roderick Bloem, Graz University of Technology Michael Browne, IBM USA Michael Butler, University of Southampton Radu Calinescu, University of Aston Hana Chockler, IBM Israel Kerstin Eder, University of Bristol Eitan Farchi, IBM Israel Harry Foster, Mentor Graphics Franco Fummi, University of Verona Ian G. Harris, University of California Irvine Ziyad Hanna, Jasper DA Klaus Havelund, JPL Alan Hu, University of British Columbia Mika Katara, Tampere University of Technology Zurab Khasidashvili, Intel Tsvi Kuflik, University of Haifa Mark Last, Ben Gurion University Joao Lourenco, New University of Lisbon Tom Melham, Oxford University Amir Nahir, IBM Israel Mauro Pezze, University of Lugano and University of Milano Bicocca Orna Raz, IBM Israel Michael S. Hsiao, VirginiaTech Wolfram Schulte, Microsoft Research Onn Shehory, IBM Israel Armando Tacchella, University of Genova Helen Treharne, University of Surrey Shmuel Ur, Innovations Ltd Helmut Veith, Vienna University of Technology Li-C. Wang, University of California, Santa Barbara Heike Wehrheim, Paderborn University |
|