[TYPES/announce] Call for Participation: 18th IEEE International High-Level Design Validation and Test Workshop (HLDVT'16)

Miroslav Velev mvelev at gmail.com
Fri Sep 16 20:43:10 EDT 2016

Call for Participation

18th IEEE International High-Level Design Validation and Test Workshop

Hilton, Santa Cruz, California, U.S.A., October 7-8, 2016


HLDVT'16 has announced an exciting program that, in addition to sessions on
the latest breakthroughs in assertion and property checking, and
verification of automotive systems and biological systems, includes two
forward looking keynotes on stochastic computing and resilient systems from
internationally renowned researchers, John Hayes and Jacob Abraham, three
verification and debug tutorials, available at no extra charge to workshop
registrants, from innovative researchers: Kenneth McMillan, Priyank Kalla,
and Bojan Mihajlovic, and an invited talk on the use of machine learning in
the hardware verification process from Avi Ziv of IBM. The HLDVT'16 panel
will be on formal verification apps, "Killer Apps: Not your father's formal
verification," and will be moderated by the well-known industry luminary
and venture capitalist, Jim Hogan.

The program is available online at:


Register now---the early registration deadline is Sept 18, 2016:

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.seas.upenn.edu/pipermail/types-announce/attachments/20160916/7a6ee03f/attachment-0001.html>

More information about the Types-announce mailing list