|
Design
Automation Conference (DAC)
Anaheim, CA
6/9/08 - 6/13/08
Kathryn
Kranen, CEO of Jasper Design Automation, will speak
on the importance of the Turing award for computing
and the verification industry in particular, on
Monday, June 9, 2-4 pm, at DAC 2008 (http://www.dac.com),
when the ACM Turing Award winners will give a plenary
talk.
This year's ACM Turing Award was given to Edmund
M. Clarke, E. Allen Emerson, and Joseph Sifakis
for their role in developing Model-Checking into
a highly effective verification technology. (http://www.acm.org/press-room/news-releases/turing-award-07/).
Kathryn Kranen, CEO Jasper Design Automation, chairs
the WIRELESS PAVILION PANEL: Today's
Consumers: High Schoolers Spec Your Next Product.
Monday June 09, 2008, 3:00 PM - 3:45 PM | Booth
#364 (Pavilion)
Ziyad Hanna will chair the Formal Verification Technology
session at DAC. This session presents four papers
that advance the state-of-the-art in formal verification
technology, making formal verification tools more
efficient and usable. Speakers include: In-Ho Moon,
Synopsys, Inc., Malay Ganai, NEC Labs America, Yan
Chen, Portland State Univ., and Paul T. Darga, Univ.
of Michigan.
|
 |
Haifa
Verification Conference
10/27/08 - 10/30/08
Ziyad Hanna, Jasper Chief Architect and Vice President
of Research will be co-chairing a post-silicon verification
session at the Haifa Verification Conference, HVC
2008.
|
 |
Formal
Methods in Computer Aided Design (FMCAD) 2008
Portland, OR J
11/17/08 - 11/20/08
|
|
DVCon
San Jose, CA
2/19/08 - 2/21/08 |
 |
Design
and Test Europe (DATE)
Munich, Germany
3/11/08 - 3/14/08 |
