Groups | Search | Server Info | Keyboard shortcuts | Login | Register [http] [https] [nntp] [nntps]

Groups > comp.parallel > #305 > unrolled thread

[Iwls] HVC 2012 - Call for papers

Back to article view | Back to comp.parallel

Contents

  [Iwls] HVC 2012 - Call for papers "Stephen A. Edwards" <sedwards@cs.columbia.edu> - 2012-06-21 14:03 +0000

#305 — [Iwls] HVC 2012 - Call for papers

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


Call for 
Papers

*********************************************************
 Eighth
Haifa Verification Conference (HVC) 2012
  http://ibm.co/HVC-12


Submission deadline:   July 18, 2012

       November 6 - 8, 2012
   Haifa,
Israel

 Organized by IBM Research -
Haifa

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

HVC 2012
is the eighth in the series of annual conferences dedicated
to advancing the
state-of the art and state-of-the-practice in verification
and testing. The
conference provides a forum for researchers and
practitioners
from academia
and industry to share their work, exchange ideas, and
discuss the future
directions of testing and verification for hardware,
software, and complex
hybrid systems.

The common underlying goal of these techniques 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 2012 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. The conference will
involve the presentation of
peer-reviewed, original technical papers, as
well as
lectures by guests from
industry and academia.

As in previous years, the post-conference
proceedings will be published
in Springer¹s Lecture Notes in Computer
Science series 
(LNCS).


----------------------------------------------------------------
T
opics of interest to the conference include, but are not limited
to:

Simulation-based verification  Test automation and automated
test
generation
Formal verification methods  Testing
methodologies
High-level stimuli generation  Defect prevention
Equivalence
checking   Test-driven development
SAT/SMT-based verification
algorithms Hybrid verification methods
Classification of hardware
bugs  Model-based testing
Static analysis    Verification coverage
Design
for verifiability  Developer testing
Hardware/software
co-verification Review and inspection
Debugging    Semi-formal
verification
Emulation and acceleration  Functional and performance
testing
Formal modeling and specification Coverage analysis and test
minimization
Post-silicon validation   Test planning
CSP-based functional
verification Testing and analysis of concurrent
software
Formal
specification languages  Domain specific testing and
analysis
Model
checking    Empirical studies on test tool
evaluation

Moreover, this year,
HVC will extend the traditional focus on hardware
and software verification
to include verification, validation, and testing
(VVT) of
complex hybrid
systems as a part of the systems-engineering paradigm.
Consequently,
additional topics of interest include, but are not limited
to:

Test and
evaluation (T&E) of systems
System modeling and simulation
Formal
verification and analysis
System requirement management -  modeling,
analysis, and verification
Focused VVT domains such as hardware, software,
safety-critical systems,
or specific hybrid systems - including aerospace &
defense, and automotive.
VVT during focused system lifecycles -
specification, design,
implementation,
integration, qualification
VVT
planning and 
optimization

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

Keynote presentations:

    David Harel (Weizmann Institute)
    Edward
A. Lee 
(Berkley)

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

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.

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

Highlights:

* Intel's DTS Symposium, dedicated this year to Computer
Security:
    Modeling and Validation, will be held on November 5 in the

Technion - Israel Institute of Technology.

* Tutorial day will be held on
November 4 and will cover several topics in
    emerging areas of
verification, validation and testing.

* A special technical session on
security verification in memory of Alan
Turing.

* HVC Award: a special
session will present the work that was chosen by a
  special committee as
the most influential work
  in verification in the past five years.

* A
Best Paper Award will be handed
out.

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

More
details about the conference program and its events 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 sixteen
(16) pages in LNCS format.
Submissions are accepted in electronic form
(pdf), via
the EasyChair service, accessible from the conference
website.

An early email to conference chairs with your intention to
submit
a paper or an early submission of an abstract (via EasyChair)
would be
appreciated.

B. Tool and experiences papers.
Tool submissions should
describe a new tool and its features, and
demonstrate
its effectiveness
using experimentation. Tools and experience papers are
required to show
significant advancements compared with existing tools.
Tools and experience
papers should not exceed six (6) pages in LNCS format.
Tool presentations
are expected to include a short
demo.

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

Stu
dent 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:

Paper submission deadline:    July 18, 2012
Author
notification:     September 10, 2012
Poster submission deadline: September
17, 2012
Poster notification:  September 24
Conference gathering:
  November 6-8, 2012
Final version:           December 6,
2012


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

Gen
eral Chair :
 Amir Nahir (nahir@il.ibm.com)

Program Co-Chairs:
 Tanja Vos
(tvos@dsic.upv.es)
 Armin Biere (biere@jku.at)

Local Organization:
 Shirley
Namer (shirleyn@il.ibm.com)

HVC Award committee Chair:
 Daniel Kroening,
Oxford

Tutorial Chair:
 Itai Segall, IBM

Organizing committee:
 Allon Adir
(IBM, VVT of Systems Engineering)
 Sharon Barner (IBM)
 Hana Chockler
(IBM)
 Onn Shehory (IBM)
 Karen Yorav (IBM)
 Avi Ziv (IBM)

Program
committee:
 Cyrille Artho, AIST, Japan
 Armin Biere, Johannes Kepler
University, Austria
 Roderick Bloem, Graz University of Technology,
Austria
 Radu Calinescu, University of York, UK
 Hana Chockler, IBM Research
- Haifa, Israel
 Maria Jose Escalona, Universidad Sevilla, Spain
 Kerstin
Eder, University of Bristol, UK
 Eitan Farchi, IBM Research - Haifa,
Israel
 Harry Foster, Mentor Graphics, USA
 Franco Fummi, University of
Verona, Italy
 Alex Goryachev, IBM Research - Haifa, Israel
 Ian G. Harris,
University of California Irvine, USA
 Ziyad Hanna, Jasper DA, Israle
 Mark
Harman, University College London, UK
 Klaus Havelund, Nasa, USA
 Michael S.
Hsiao, Virginia Tech, USA
 Alan Hu, University of British Columbia,
CA
 Zurab Khasidashvili, Intel, Israel
 Mark Last, Ben Gurion University,
Israel
 Joao Lourenco, New University of Lisbon, Portugal
 Ken McMillan,
Microsoft, USA
 Tom Melham, Oxford University, UK
 Amir Nahir, IBM Research
- Haifa, Israel
 Martina Seidl, Johannes Kepler University, Austria
 Onn
Shehory, IBM Research - Haifa, Israel
 Armando Tacchella, University of
Genova, Italy
 Helen Treharne, University of Surrey, UK
 Shmuel Ur, Ur
Innovations Ltd., Israel
 Helmut Veith, Vienna University of Technology,
Austria
 Li-C. Wang, University of California Santa Barbara, USA
 Joachim
Wegener, University of Regensburg, Germany
 Heike Wehrheim, Paderborn
University, Germany
 Tanja Vos, Universidad Politecnica de Valencia,
Spain




Best Regards,
Shirley Ben-Simon (Namer)
Administrative
Assistant
Verification and Analytics Area
IBM R&D Labs in Israel

TEL: 972 4
829 6490
FAX: 972 4 829 6200
MAIL: shirleyn@il.ibm.com
IBM Haifa Labs, Haifa
University Campus,
Mount Carmel, Haifa, 31905,
Israel
_______________________________________________
Iwls mailing
list
Iwls@lists.cs.columbia.edu
https://lists.cs.columbia.edu/cucslists/list
info/iwls

[toc] | [standalone]

Back to top | Article view | comp.parallel

csiph-web