[PRL] New England Symposium on Formal Hardware Verification

[Pete Manolios]

I'm co-organizing the New England Symposium on Formal Hardware Verification.

It will be held at Northeastern on Nov. 2nd. We've got some interesting
talks scheduled. If you have time, stop by.

For details, see http://www.ece.neu.edu/groups/rcl/nefvs.html
-- 
Pete Manolios
-------------- next part --------------
HTML attachment scrubbed and removed