[Ececourtesy-list] REMINDER: Guest Speaker: "Hardware Verification for Designing Trustworthy Systems", Prabhat Mishra (University of Florida), Thursday, May 16 at 10:30am, MSEE 112