[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
Call for Participation
18th IEEE International High-Level Design Validation and Test Workshop
(HLDVT'16)
Hilton, Santa Cruz, California, U.S.A., October 7-8, 2016
http://hldvt.org/
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:
http://hldvt.org/HLDVT16%20_Program.htm
Register now---the early registration deadline is Sept 18, 2016:
https://www.regonline.com/builder/site/Default.aspx?EventID=1867328
