April 1 @ 10:00 am - 11:00 am Towards Provably Safe and Secure Systems with Contract-Based Design 3316 EECS Building 1301 Beal Avenue, Ann Arbor, MI, United States