4 events found.
Kahlert School of Computing Distinguished Lecture Series
2650 SMBBMadan Musuvathi Microsoft Research October 17, 2024 3:00 refreshments 3:30 lecture 2650 SMBB Host: Ganesh Gopalakrishnan Safe Natural […]
Research Challenges in Computing
3147 MEBColloquium – Ilya Sergey
3147 MEBIlya Sergey National University of Singapore October 18, 2024 3:30 - 4:30 PM Location: 3147 MEB (LCR) Deductive Synthesis of […]