posted by organizer: vinov || 5206 views || tracked by 9 users: [display]

HVC 2015 : 11th Haifa Verification Conference

FacebookTwitterLinkedInGoogle


Conference Series : Haifa Verification Conference
 
Link: http://www.research.ibm.com/haifa/conferences/hvc2015/
 
When Nov 17, 2015 - Nov 19, 2015
Where Haifa, Israel
Submission Deadline Jul 31, 2015
Notification Due Sep 4, 2015
Final Version Due Sep 14, 2015
Categories    verification   formal methods
 

Call For Papers

Eleventh Haifa Verification Conference 2015
http://www.research.ibm.com/haifa/conferences/hvc2015/index.shtml
November 17-19, 2015
Tutorials: November 16, 2015
Haifa, Israel

Organized by IBM Research - Haifa

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

HVC 2015 is the eleventh 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 2015 invites the submission of technical papers reporting original research and experience results in all sub-fields of testing and verification applicable to software and hardware. The conference will involve the presentation of peer-reviewed, original technical papers, as well as lectures by guests from industry and academia.

The conference proceedings will be published in Springer’s Lecture Notes in Computer Science series (LNCS). The conference proceedings will be handed in an electronic format to the guests of the conference upon registration.

Important dates:

Paper submission deadline: July 31, 2015 - 11.59pm GMT (Extended)
Author acceptance notification: September 4, 2015
Final manuscripts due: September 14, 2015
Poster submission deadline: September 18th - 11.59pm GMT
Conference: November 17-19, 2015
Tutorials: November 16, 2015

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

Topics of interest to the conference include, but are not limited to:

* Simulation-based verification
* Formal and semi-formal specification, modeling, and verification
* Functional and non-functional software testing
* Equivalence checking
* SAT/SMT-based verification algorithms
* Static analysis
* Model checking
* High-level stimuli generation
* Hardware/software co-verification
* Triage and Debug
* Post-silicon validation including emulation and acceleration
* Coverage analysis and test minimization
* Testing of mobile and cloud applications
* Software artifacts review and inspection
* Test planning
* Empirical studies on hardware and software quality

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

Submission:
Original and previously unpublished manuscripts should be submitted for consideration through the Easychair website. Manuscripts should ***not*** identify the author(s) by name of affiliation and should be in LNCS format.

Two categories of submissions will be considered:
* Regular papers describing original contributions to the state of the art in the field and not exceeding sixteen (16) pages in LNCS format.
* Tools and experience papers describing a new tool or demonstrating the effectiveness of a tool or methodology in an industry-strength evaluation. Tools and experience papers should not exceed six (6) pages in LNCS format. If accepted, tool presentations are expected to include a short demo.

For submission instructions see:
http://www.springer.com/east/home/computer/lncs

The submission page is:
https://easychair.org/conferences/?conf=hvc2015

Submission and review policy:
Submitted papers will be blind-reviewed by members of the program committee. It is planned for each paper to have at least three reviews. Based on reviewers' recommendations, the program chair and the general chair will make the final decision on acceptance and notify the contact author. Please note that HVC allows submissions by program committee members and members of the organizing committee. To guarantee fairness of the review process in such cases, organizers who are authors of submitted papers will be excluded from the review and the decision process regarding their papers. Other organizers will be appointed to handle their papers. The review process will be managed through the EasyChair conference management system.

Poster Session:
The conference will include a poster session intended for students or early career researchers to present ongoing research.
Submissions of poster presentations will be considered after the conclusion of the main program of the conference.
Poster submissions should include an abstract of at most 2 pages formatted according to LNCS guidelines.
Posters should not describe research to appear in the main track of the conference.
Poster submissions will be evaluated by the program committee to ensure sufficient quality. All poster of sufficient quality will be accepted for presentation at the conference.

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 Research - Haifa, situated at the top of the Carmel
mountains.

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

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. Precedence in allocation of these travel grants will be to students who are also presenting a poster at the conference.

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

General Chair:
Michael Vinov (vinov@il.ibm.com)

Program Chair:
Nir Piterman (nir.piterman@le.ac.uk)

Local Organization:
Eti Jahr (etij@il.ibm.com)
----------------------------------------------------------------

For more information, please refer to HVC2015 web page:
http://www.research.ibm.com/haifa/conferences/hvc2015/index.shtml

Related Resources

CAV 2024   36th International Conference on Computer Aided Verification
AVC 2024   Advances in Vision Computing: An International Journal
ATVA 2024   22nd International Symposium on Automated Technology for Verification and Analysis
FM 2024   Formal Methods
AREA 2024   4th Workshop on Agents and Robots for reliable Engineered Autonomy
SOEN 2024   9th International Conference on Software Engineering
RV 2024   Runtime Verification 2024
FDL 2024   Forum on specification and Design Languages
SPM 2024   11th International Conference on Signal, Image Processing and Multimedia
LANMR 2024   The 16th Latin American Workshop on New Methods of Reasoning Logic, Languages, Algorithms, New Methods of Reasoning