October 31, 2022 @ 11:00 am - 12:00 pm The End of Testing? The Promise of Verification-Driven Software Engineering 3725 Beyster Building 2260 Hayward Street, Ann Arbor, MI, United States
April 12, 2023 @ 1:30 pm - 3:00 pm Persistent Memory Programming on Conventional Hardware 1571 GG Brown 2350 Hayward St, Ann Arbor, United States
October 4, 2023 @ 10:30 am - 11:50 am Towards Collaborative Autonomy 1680 IOE 1205 Beal Ave., Ann Arbor, MI, United States +1 more