HVC 2013 – Call for Participation – November 5-7, 2013

  • October 7, 2013 at 12:04 pm
    HVC 2013
    Ninth Haifa Verification Conference 2013
    November 5-7, 2013
    Tutorial day - November 4, 2013
    Haifa, Israel

    Organized by IBM Research - Haifa


    Program: http://www.research.ibm.com/haifa/conferences/hvc2013/day1.shtml
    Tutorials (4/11/2013): http://www.research.ibm.com/haifa/conferences/hvc2013/tutorials.shtml
    Free registration: http://www.research.ibm.com/haifa/conferences/hvc2013/registration.shtml

    We cordially invite you to participate in the ninth annual Haifa Verification Conference (HVC) 2013, which will take place November 5-7.

    The conference will be held in the lovely city of Haifa, at IBM Research – Haifa, located on the campus of the University of Haifa.

    In addition to presentations of 23 accepted papers, here are some more of the conference highlights:

    * EDA in the Cloud
     Dr. Leon Stok Vice President, Electronic Design Automation Technologies, IBM
    * Challenges in Enabling the Next Generation Mobile Experience : Are You Ready?
      Scott Runner, Vice President, Engineering at Qualcomm
    * Synthesis of Concurrent Programs Using Genetic Programming
      Prof. Doron Peled, Bar Ilan University
    * Recent Advances in Model Checking
      Prof. Robert K. Brayton, University of California, Berkeley
    * Opportunities and Challenges for High Performance Microprocessor Designs and Design Automation
      Dr. Ruchir Puri, Fellow, IBM Research

    Tutorial day:
    * Hardware Functional Verification - Present and Future
      Yuval Caspi
    * SystemVerilog Assertions for Formal Verification
      Dmitry Korchemny, Intel
    * Verification and Performance Analysis of Interconnects within the SoCs
      Mirit Fromovich, Cadence
    * SAT, CSP and Proofs
      Ofer Strichman, Technion
    * The System Simulation as a Tool for Development and Validation of Complex Systems
      Racheli Kenigsbuch, Rafael

    We look forward to meeting you @ HVC 2013.