[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[PVS] HVC 2008 - call for papers



==============================================================
We apologize if you receive multiple copies of this CFP.
Please distribute to anyone who may be interested.
==============================================================

                  Call for Papers

*********************************************************
       Fourth Haifa Verification Conference 2008
 http://www.haifa.ibm.com/conferences/hvc2008/

           Haifa, Israel, October 28-30, 2008

       Sponsored by IBM Haifa Research Lab

*********************************************************

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 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'08 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:

    Daniel Jackson (MIT)
    Moshe Vardi (Rice University)


Invited speakers:

   Brian Bailey
   Yoav Hollander (Cadence)
   Geoffrey Miller (IBM)
   Carl Pixley (Synopsys)

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

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:

* The day before the conference, October 27, 2008, is dedicated to
mini-tutorials in emerging areas of verification.

* HVC Award: a special session will present a collection of the best
published
works of the last five years. These will be selected by a special committee
and
will present state-of-the-art theoretical advancements that have been
achieved during the preceding five years.

* A “Best Paper Award” will be handed out.

* Social events include an excursion, a cocktail party, and an optional
weekend in Jerusalem after the conference.
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 or postscript), via
the conference website:
 http://www.haifa.ibm.com/conferences/hvc2008/ .
An early email to conference chairs Hana Chockler and Alan Hu
(hanac@xxxxxxxxxx, ajh@xxxxxxxxx) 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.

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

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:

Submission deadline:   July 16, 2008
Author notification:   August 31, 2008
Conference gathering:  October 28-30, 2008
Final version:         November 20, 2008

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

General chair: Hana Chockler (hanac@xxxxxxxxxx)

Program chair: Alan Hu (ajh@xxxxxxxxx).

Local organization: Vered Aharon (vered@xxxxxxxxxx)

HVC Award committee Chair: Corina Pasareanu, NASA Ames

Organizing committee:

Sharon Barner, IBM HRL
Eyal Bin, IBM HRL
Laurent Fournier, IBM HRL
Shmuel Ur, IBM HRL

Program committee:

Sharon Barner, IBM Haifa Research Lab, Israel
Eyal Bin, IBM Haifa Research Lab, Israel
Roderick Bloem, Graz University of Technology, Austria
Michael Browne, IBM Poughkeepsie, USA
Jong-Deok Choi, Samsung Electronics, Korea
Alessandro Cimatti, IRST, Italy
Kerstin Eder, University of Bristol, UK
E. Allen Emerson, University of Texas at Austin, USA
Bernd Finkbeiner, Universitat des Saarlandes, Germany
Limor Fix, Intel, USA
http://www.pittsburgh.intel-research.net/people/fix.html
Laurent Fournier, IBM Haifa Research Lab, Israel
Steven M. German, IBM Watson, USA
Orna Grumberg, Technion, Israel
Aarti Gupta, NEC Labs America, USA
Ziyad Hanna, Jasper, USA
Klaus Havelund, Caltech
Alan Hu, University of British Columbia, Canada (Program Chair)
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
Sharad Malik, Princeton University, USA
Erich Marschner, Cadence, USA
Ken McMillan, Cadence, USA
Amos Noy, Cadence, USA
Amit Paradkar, IBM Watson, USA
Viresh Paruthi, IBM Austin, USA
Andrew Piziali, USA
Wolfgang Roesner, IBM Austin, USA
Fabio Somenzi, University of Colorado, USA
Scott D. Stoller, Stony Brook University, USA
Ofer Strichman, Technion, Israel
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